TAS — a generic window inference system (2000)

by C Lüth, B Wolff
Venue:Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, LNCS 1869