In: Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice. Workshop on Automated Reasoning …
In: Dieter Hutter; Werner Stephan (Hrsg.). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. …