Poole, David. «Theorist: A Logical Reasoning System for Defaults and Diagnosis». A: Nick J. Cercone. The Knowledge Frontier – Essays in the Representation of Knowledge (en anglès). 1st. New York, NY: Springer, 1987, p. 331–352 (Symbolic Computation). DOI10.1007/978-1-4612-4792-0. ISBN 978-1-4612-9158-9.
Muggleton, S.H.. «Machine invention of first-order predicate by inverting resolution». A: Proceedings of the 5th International Conference on Machine Learning (en anglès), 1988, p. 339–352. DOI10.1016/B978-0-934613-64-4.50040-2. ISBN 978-0-934613-64-4.
Shapiro, Ehud Y. «The model inference system». A: Proceedings of the 7th international joint conference on Artificial intelligence (en anglès). 2. Morgan Kaufmann, 1981, p. 1064.