@InProceedings{BeckertPosegga96b,
author = {Bernhard Beckert and Joachim Posegga},
title = {{\mbox{{\sf leanEA}}}: A Lean Evolving Algebra Compiler},
editor = {Kleine B\"uning, H.},
booktitle = {Annual Conference of the European Association
for Computer Science Logic ({CSL} '95)},
venue = {Paderborn, Germany},
series = {LNCS},
volume = {1092},
pages = {64--85},
publisher = {Springer},
year = {1996}
}