Formalizing basic first order model theory (1998)

by John Harrison
Venue:Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs’98