Taxonomic Syntax for First Order Inference. - David A. McAllester; Robert Givan; Tanveer Fatima (KR, 1989)