DMCA

Merging HOL with Set Theory -- preliminary experiments (1994)

by Mike Gordon
Citations:11 - 1 self