Closure + minimization implies abduction. technical report (1990)

by K Konolige
Venue:SRI International, Menlo Park, CA