@InProceedings{RO12, Author = "Raths, T. and Otten, J.", Year = "2012", Title = "{The QMLTP Problem Library for First-Order Modal Logics}", Editor = "Gramlich, B. and Miller, D. and Sattler, U.", BookTitle = "{Proceedings of the 6th International Joint Conference on Automated Reasoning}", Place = "Manchester, United Kingdom", Series = "Lecture Notes in Artificial Intelligence", Number = "7364", Pages = "454-461", Publisher = "Springer-Verlag", Comment = "TPTPRef,TPTPCite" }