AMORD: Explicit control of reasoning. deKleer , J., Doyle, J., Steele, G., & Sussman, G. J. In Proceedings of the ACM Symposium on Artificial Intelligence and Programming Languages, volume 12, pages 116--125, 1977. ACM. bibtex @inproceedings{kleer1977amord,
title={AMORD: Explicit control of reasoning},
author={deKleer, Johan and Jon Doyle and Guy Steele and Gerald J. Sussman},
booktitle={Proceedings of the ACM Symposium on Artificial Intelligence and Programming Languages},
volume={12},
number={8},
pages={116--125},
year={1977},
organization={ACM}
}