Robert Glück Masahiko Kawabe An Automatic Program Inverter for Lisp: Potential and Limitations. 230-245 2002 conf/aplas/2002 APLAS db/conf/aplas/aplas2002.html#GluckK02