Anytime Reasoning in First-Order Logic.

Keith Vanderveen, C. V. Ramamoorthy

Browse the full ICTAI paper archive.