- Victor L. Selivanov:
Wadge Reducibility and Infinite Computations. Math. Comput. Sci. 2(1): 5-36 (2008) - Josef Urban, Geoff Sutcliffe
:
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments. Math. Comput. Sci. 2(2): 231-251 (2008) - Abdou S. Youssef:
Relevance Ranking and Hit Description in Math Search. Math. Comput. Sci. 2(2): 333-353 (2008)