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