Guest Editors' introduction

Jyrki Kivinen, Csaba Szepesvári, Thomas Zeugmann. Guest Editors' introduction. Theoretical Computer Science, 519:1-3, 2014. [doi]

Abstract

Abstract is missing.