leanEA: A Lean Evolving Algebra Compiler (1996)

by B Beckert, J Posegga
Venue:Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL’95), volume 1092 of LNCS