Taxonomic syntax for first order inference (1993)

by McAllester D McAllester, Givan