Taxonomic Syntax for First Order Inference (1989)

Cached

Download Links

by David Mcallester , Robert Givan
Venue:Journal of the ACM
Citations:36 - 13 self