Tableaux-Based Theorem Proving and Non-Standard Reasoning.

Vincent Risch, Camilla Schwind

Browse the full TABLEAUX paper archive.