An assumption-based TMS, Artif: Intell. 28 (2 (1986)

by J
Venue:197-224fill J . de Kleer and J.S