On the implementation of an extensible declarative proof language (1999)

by V Zammit
Venue:In: Theorem Proving in Higher Order Logics, TPHOLs ’99