Solving for set variables in higher-order theorem proving (2002)

by C E Brown
Venue:in: Voronkov, A. (Ed.), Proc. of CADE-18