Otten, Jens

1 publications

IJCAI 2017 nanoCoP: Natural Non-Clausal Theorem Proving Jens Otten