Terminating Tableaux for the Basic Fragment of Simple Type Theory (2009)

by Chad E. Brown , Gert Smolka
Citations:1 - 1 self