@inproceedings{943bc100b8bc11debc73000ea68e967b,
title = "The universal resolving algorithm: inverse computation in a functional language",
author = "Abramov, {Sergei M.} and Robert Gl{\"u}ck",
year = "2000",
language = "English",
volume = "1837",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "187--212",
editor = "Roland Backhouse and Oliveira, {Jos{\'e} Nuno}",
booktitle = "Mathematics of Program Construction",
note = "Mathematics of Program Construction ; Conference date: 29-11-2010",
}