First Order Logic With Domain Conditions (2001)

by Freek Wiedijk, Jan Zwanenburg
Venue:in `Theorem Proving in Higher Order Logics, TPHOLs 2003', Vol. 2758 of LNCS