Publication
Deduction as an Engineering Science (invited paper)
Dieter Hutter
In: Ingo Dahn; Laurent Vigneron (Hrsg.). Proceedings of First-Order Theorem Proving FTP-2003. International Workshop on First-Order Theorem Proving (FTP), Electronic Notes in Theoretical Computer Science, Vol. 86, Issue 1, 2003.