AMORD: A Deductive Procedure System
Johan de Kleer, Jon Doyle, Charles Rich, Guy Lewis Steele, Gerald Jay Sussman · 1978
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract number N00014-75-C-0643.