Tractable reasoning via approximation (1995)

by M Schaerf, M Cadoli
Venue:Artificial Intelligence