Problem solving with the ATMS (0)

by J de Kleer
Venue:Artificial Intelligence