GluKaw-TR-03

@techreport{GluKaw-TR-03,
title = {A program inverter for a functional language with equality and constructors},
author = {Robert Gl{\"u}ck and Masahiko Kawabe},
institution = {Univ. of Copenhagen, Dept. of Computer Science},
number = {D-491},
year = {2003},
url = {ftp://ftp.diku.dk/diku/semantics/papers/D-491.ps.gz}}

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