title = {The universal resolving algorithm: Inverse computation in a functional language},
author = {Sergei A. Abramov and Robert Gl{\"u}ck},
booktitle = {Proc. 5th Int. Conf. Mathematics of Program Construction (MPC 2000)},
number = {1837},
editor = {Roland Backhouse and Jos{\'e} Nuno Fonseca de Oliveira},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
pages = {187--212},
year = {2000},
url = {ftp://ftp.diku.dk/diku/semantics/papers/D-425.ps.gz}}

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