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