AMORD--A deductive procedure system. Memo 435 (1978)

by J deKleer, J Doyle, C Rich, G Steele, G Sussman
Venue:MIT Artificial Intelligence Lab