Alasdair Armstrong, Georg Struth: Automated Reasoning in Higher-Order Regular Algebra. RAMiCS 2012: 66-81