@InProceedings{BeckertPosegga95d,
  author	= {Bernhard Beckert and Joachim Posegga},
  title		= {{\mbox{{\sf lean}{\it E\raisebox{.2ex}{{\small\it A}}}}}:
		  A Lean Evolving Algebra Compiler},
  booktitle	= {11th Logic Programming Workshop},
  venue         = {Wien, Austria},
  month		= sep,
  year		= {1995}
}