@Book{SS93, Author = "Schmidt, G. and Str{\"}ohlein, T.", Year = "1993", Title = "{Relations and Graphs: Discrete Mathematics for Computer Scientists}", Publisher = "Springer-Verlag", Comment = "TPTPRef" }