title = {A program inverter for a functional language with equality and constructors},
author = {Robert Gl{\"u}ck and Masahiko Kawabe},
booktitle = {Proc. 1st Asian Symp. Programming Languages and Systems (APLAS 2003)},
number = {2895},
editor = {A. Ohori},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
pages = {246--264},
year = {2003}}

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!