1. Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. (3rd May 2021) Authors: Cristiá, Maximiliano; Katz, Ricardo D; Rossi, Gianfranco Journal: Computer journal Issue: Volume 65:Number 7(2022) Page Start: 1891 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗