nanoCoP: Natural Non-clausal Theorem Proving. - Otten, Jens (2017)