An assumption-based TMS (1986)

by J de Kleer
Venue:TABDUAL: A TABLED ABDUCTION SYSTEM FOR LOGIC PROGRAMS