https://123dok.org/document/y6e9d9l4-formal-automated-reasoning-laboratory-giuseppe-spallitta-giuseppe-spallitta.html