[1]
D. Baelde, “Abella: A System for Reasoning about Relational Specifications”, JFR, vol. 7, no. 2, pp. 1–89, Dec. 2014.