Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017
A Theorem Prover for a Computational Logic