AMORD explicit control of reasoning (1977)

by J de Kleer, J Doyle, G L Steele Jr, G J Sussman