For a History of Leibniz's Principle of Sufficient Reason. First Formulations and Their Historical Background. - Francesco Piro (Leibniz: What Kind of Rationalist?, 2008)

Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K. - Francesco Piro; Mehrnoosh Askarpour; Elisabetta Di Nitto (Q-SET@QCE, 2020)