Extending the ATMS (1986)

by J de Kleer
Venue:Artificial Intelligence