@inproceedings{ijcai2017p695, author = {Jens Otten}, title = {nanoCoP: Natural Non-clausal Theorem Proving}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {4924--4928}, year = {2017}, doi = {10.24963/ijcai.2017/695}, url = {https://doi.org/10.24963/ijcai.2017/695}, }