Automated Reasoning with Analytic Tableaux and Related MethodsAnupam Das, Sara Negri · First published 2021Open the Tome
Mathesis Universalis, Computability and ProofStefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster · First published 2019Open the Tome
