@InProceedings{SLB12,
    Author       = "Seidl, M. and Lonsing, F. and Biere, A.",
    Year         = "2012",
    Title        = "{Tool for Generating EPR Formulas from QBF}",
    Editor       = "Fontaine, P. and Schmidt, R. and Schulz, S.",
    BookTitle    = "{Proceedings of the 3rd Workshop on Practical Aspects of Automated Reasoning}",
    Place        = "Manchester, England",
    Pages        = "139-148",
    Comment      = "TPTPRef"
}