Publikation
Structuring Deduction by Using Abstractions
Dieter Hutter
In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on Abstraction, Reformulation, and Approximation (SARA), Asimolar, Pacific Grove, CA, USA, Pages 72-78, 1998.