Structuring deduction by using abstractions (1998)

by D Hutter
Venue:Proceedings of the International Symposion on Abstraction, Reformulation, and Approximation (SARA98