New Methods for Computing Inferences in First Order Logic (1991)

Cached

Download Links

by J.N. Hooker
Venue:Annals of Operations Research
Citations:6 - 2 self