Reasoning Methods in Automated Theorem Proving
Goéland: A Concurrent Tableau-Based Theorem Prover
A new version of content is available.