An interactive theorem proving assistant (1999)

by Ulrich Endriss
Venue:In Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUXt’99