Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics.

Christoph Benzmller

Browse the full TABLEAUX paper archive.