A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Acknowledgments Many thanks to the Dagstuhl office and its helpful and patient staff; huge thanks to the organizers of the previous seminars in the series for setting us up for success; and thanks to all ... We also give special thanks to Kaisa Miettinen and Eckart Zitzler as they step down from the organizer role. ... Mechanizing Mathema- tical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, volume 2605 of LNCS. Springer, 2005. 9 D. Hutter, W. Stephan, P. Traverso, and M. ...fatcat:qmtsqeo23jcjffzwbvuoasqchq