Sergei M. Abramov, Robert Glück, Yuri A. Klimov. An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. In Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Volume 4378 of Lecture Notes in Computer Science, pages 27-40, Springer, 2006. [doi]