TPTP Reference: Ott17


@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      = ""
}
@InProceedings{Ott17,
    Author       = "Otten, J.",
    Year         = "2017",
    Title        = "{Non-clausal Connection Calculi for Non-classical Logics}",
    Editor       = "Nalon, C. and Schmidt, R.",
    BookTitle    = "{Proceedings of the 26th International Conference on Automated Reasoning with
                    Analytic Tableaux and Related Methods}",
    Place        = "Brasilia, Brasil",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "10501",
    Pages        = "209-227",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}