Terminating Tableaux for the Basic Fragment of Simple Type Theory.

Chad E. Brown, Gert Smolka

Browse the full TABLEAUX paper archive.