David A. McAllester
David McAllester and Robert Givan.
Taxonomic syntax for first order inference.
Journal of the ACM
, 40(2):246-283, April 1993.
References and Citations.
David A. McAllester.
Automatic recognition of tractability in inference relations.
Journal of the ACM
, 40(2):284-303, April 1993.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database