@book{BaaderRTA07,
 editor    = {F. Baader},
 title     = {18th International Conference on Rewriting Techniques
and Applications {(RTA 2007)}},
 publisher = {Springer-Verlag},
 series    = {Lecture Notes in Computer Science},
 volume    = {4533},
 year      = {2007},
}