Lev D. Beklemishev
Open Least Element Principle and Bounded Query Computation
CSL, 1999.
@inproceedings{CSL-1999-Beklemishev, author = "Lev D. Beklemishev", booktitle = "{Proceedings of the 13th International Workshop on Computer Science Logic / Eighth Annual Conference of the EACSL}", doi = "10.1007/3-540-48168-0_28", isbn = "3-540-66536-6", pages = "389--404", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Open Least Element Principle and Bounded Query Computation}", volume = 1683, year = 1999, }