Prover 91 - A Parallel Theorem Prover (Extended Abstract).

Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic

Browse the full TABLEAUX paper archive.