Solving for Set Variables in Higher-Order Theorem Proving (2002)

Cached

Download Links

by Chad E. Brown
Venue:Proceedings of the 18th International Conference on Automated Deduction
Citations:5 - 1 self