Tractable Reasoning via Approximation (1993)

by M Cadoli, M Schaerf
Venue:Arti Intelligence