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 = ""
}