David A. McAllester Robert Givan Taxonomic Syntax for First Order Inference. 246-283 1993 40 J. ACM 2 db/journals/jacm/jacm40.html#McAllesterG93 http://doi.acm.org/10.1145/151261.151264