Taxonomic syntax for first-order inference (1993)

by D McAllester, R Givan
Venue:Journal of the ACM