New methods for computing inferences in first order logic J. N. Hooker Section IX Computational Logic And Integer Programming Pages: 477 - 492