A. Chernov, and M. Hutter. Proc. 16th International Conf. on Algorithmic Learning Theory (ALT'05), volume 3734 of LNAI, page 414--428. Singapore, Springer, Berlin, (2005)
A. Chernov, D. Skvortsov, E. Skvortsova, and N. Vereshchagin. Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic, page 74--88. Springer-Verlag, (2002)