Distributed Modal Theorem Proving with KE.

Jeremy V. Pitt, Jim Cunningham

Browse the full TABLEAUX paper archive.