Complex quantifier elimination in HOL (2001)

by John Harrison
Venue:TPHOLs 2001: Supplemental Proceedings
Citations:8 - 2 self