Ilya Mezhirov Nikolay K. Vereshchagin On abstract resource semantics and computability logic. 356-372 2010 76 J. Comput. Syst. Sci. 5 https://doi.org/10.1016/j.jcss.2009.10.008 db/journals/jcss/jcss76.html#MezhirovV10