The universal resolving algorithm: Inverse computation in a functional language
Sergei A. Abramov
and Robert Glück
Proc. 5th Int. Conf. Mathematics of Program Construction (MPC 2000), Lecture Notes in Computer Science 1837, Roland Backhouse
and José Nuno Fonseca de Oliveira, ed., Springer-Verlag, 2000, pp. 187–212
ftp://ftp.diku.dk/diku/semantics/papers/D-425.ps.gz
Cites:
