An Automatic Program Inverter for Lisp: Potential and Limitations. - Robert Glück; Masahiko Kawabe (APLAS, 2002)

A Program Inverter for a Functional Language with Equality and Constructors. - Robert Glück; Masahiko Kawabe (APLAS, 2003)

Derivation of Deterministic Inverse Programs Based on LR Parsing. - Robert Glück; Masahiko Kawabe (FLOPS, 2004)

The Program Inverter LRinv and Its Structure. - Masahiko Kawabe; Robert Glück (PADL, 2005)

A Method for Automatic Program Inversion Based on LR(0) Parsing. - Robert Glück; Masahiko Kawabe (Fundam. Informaticae, 2005)

Revisiting an automatic program inverter for Lisp. - Robert Glück; Masahiko Kawabe (ACM SIGPLAN Notices, 2005)