A Compiler for a Class of Conditional Term Rewriting Systems. - Alfons Geser; Heinrich Hußmann; Andreas Mück (CTRS, 1987)