1
by Siekmann, Helmut E.
Published 2001
Springer Berlin Heidelberg

2
by Siekmann, Helmut E., Thamsen, Paul Uwe
Published 2009
Springer Berlin Heidelberg