Baelde, D.; Chaudhuri, K.; Gacek, A.; Miller, D.; Nadathur, G.; Tiu, A.; Wang, Y. Abella: A System for Reasoning about Relational Specifications. JFR 2014, 7, 1-89.