Complex quantifier elimination in HOL (0)

by John Harrison
Venue:TPHOLs 2001: Supplemental Proceedings