@inproceedings{db1e0f00b8c211debc73000ea68e967b,
title = "Principles of inverse computation and the universal resolving algorithm",
author = "Abramov, {Sergei M.} and Robert Gl{\"u}ck",
year = "2002",
doi = "10.1007/3-540-36377-7_13",
language = "English",
series = "Lecture notes in computer science",
publisher = "Springer Verlag",
pages = "269--295",
editor = "Mogensen, {Torben {\AE}.} and David Schmidt and Sudborough, {I. Hal}",
booktitle = "The Essence of Computation: Complexity, Analysis, Transformation",
}