Extensional higher-order resolution (1998)

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