1Abella: A System for Reasoning about Relational Specifications (2014) (opens in new tab)(jfr.unibo.it)1jnash3y ago0