1
by Eiter, Thomas
Published 2001
Springer Berlin Heidelberg

2
by Eiter, Thomas
Published 2002
Springer-Verlag Berlin Heidelberg