de Kleer. Extending the ATMS (1986)

by Johan
Venue:Arti�cial Intelligence