Tractable Reasoning via Approximation (1995)

by M Cadoli, M Schaerf
Venue:Artificial Intelligence