Inference Processes for Quantified Predicate Knowledge.

Jeff B. Paris, Soroush R. Rad

Browse the full WoLLIC paper archive.