@InProceedings{Ott17-IJCAI,
    Author       = "Otten, J.",
    Year         = "2017",
    Title        = "{nanoCoP: Natural Non-clausal Theorem Proving}",
    Editor       = "Sierra, C.",
    BookTitle    = "{Proceedings of the 26th International Joint Conference on
                    Artificial Intelligence}",
    Place        = "Melbourne, Australia",
    Pages        = "4924-4928",
    Publisher    = "Morgan-Kaufmann",
    Comment      = ""
}