Tractable reasoning via approximation1995-04-010 PRE AI DOI:10.1016/0004-3702(94)00009-p原文链接原文求助分享收藏摘要 En