Abella: A System for Reasoning about Relational Specifications (2014) #1 Post by jnash » Fri, Sep 30, 2022, 3:51 AM UTC Abella: A System for Reasoning about Relational Specifications (2014)jfr.unibo.it