WALDMEISTER - High-Performance Equational Deduction

Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner. WALDMEISTER - High-Performance Equational Deduction. Journal of Automated Reasoning, 18(2):265-270, 1997.

Abstract

Abstract is missing.