Extensional higher-order resolution (1998)

by Christoph Benzmüller , Michael Kohlhase
Venue:In Kirchner and Kirchner [KK98
Citations:11 - 6 self