Jacques Chazarain Serge Muller LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories. 420-425 1995 conf/rta/1995 RTA db/conf/rta/rta95.html#ChazarainM95 http://dx.doi.org/10.1007/3-540-59200-8_76