Selected papers that cite this one
- David McAllester and Robert Givan. Taxonomic syntax for first order inference. Journal of the ACM, 40(2):246-283, April 1993.
- Trudy Weibel. An order-sorted resolution in theory and practice. Theoretical Computer Science, 185(2):393-410, 20 October 1997.