@InProceedings{RSV16-GCAI,
    Author       = "Reger, G. and Suda, M. and Voronkov, A.",
    Year         = "2016",
    Title        = "{New Techniques in Clausal Form Generation}",
    Editor       = "Benzm{\"u}ller, C. and Sutcliffe, G. and Rojas, R.",
    BookTitle    = "{Proceedings of the 2nd Global Conference on Artificial Intelligence}",
    Place        = "Berlin, Germany",
    Series       = "EPiC Series in Computing",
    Number       = "41",
    Pages        = "11-23",
    Publisher    = "EasyChair Publications",
    Comment      = ""
}