@InProceedings{Ott16,
    Author       = "Otten, J.",
    Year         = "2016",
    Title        = "{nanoCoP: A Non-clausal Connection Prover}",
    Editor       = "Demri, S. and Kapur, D. and Weidenbach, C.",
    BookTitle    = "{Proceedings of the 7th International Joint Conference on Automated Reasoning}",
    Place        = "Vienna, Austria",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "8562",
    Pages        = "302-312",
    Comment      = ""
}