Skip to content. | Skip to navigation
H. Bunke, P. Dickinson, M. Kraetzl, and W. Wallis (ed.) (2007)
Birkhäuser Boston, vol. 24. Progress in Computer Science and Applied Logic. (ISBN: 978-0-817-64485-7).