A Formalisation of Smallfoot in HOL (2009)

by T Tuerk
Venue:Theorem Proving in Higher Order Logics, 22nd International Conference (TPHOLs). LNCS 5674