A Time Efficient KE Based Theorem Prover.

Ulrich Endriss

Browse the full TABLEAUX paper archive.