@inproceedings{43cb98b0905111dd86a6000ea68e967b,
title = "A universal resolving algorithm for inverse computation of lazy languages",
author = "Abramov, {Sergei M.} and Robert Gl{\"u}ck and Yuri Klimov",
note = "DOI: http://dx.doi.org/10.1007/978-3-540-70881-0_6; International Andrei Ershov Memorial Conference ; Conference date: 27-06-2006 Through 30-06-2006",
year = "2007",
doi = "10.1007/978-3-540-70881-0_6",
language = "English",
isbn = "9783540708803",
series = "Lecture notes in computer science",
publisher = "Springer",
number = "4378",
pages = "27--40",
editor = "Andrei Voronkov and Irina Virbitskaite",
booktitle = "Perspectives of Systems Informatics. Proceedings",
}