Complex Quantifier Elimination in HOL (2001)

by J Harrison
Venue:In Supplemental Proceedings of Theorem Proving in Higher Order Logics