M.: Tractable reasoning via approximation (1995)

by M Schaerf, Cadoli
Venue:Artif. Intell