Lifted-FL: A pragmatic implementation of combined model checking and theorem proving (1999)

by M D Aagaard, R B Jones, C H Seger
Venue:In Theorem Proving in Higher Order Logics, number 1690 in Lecture Notes in Computer Science