Rok:2011
Typ:Článek v odborném periodiku
Periodikum:Journal of Logic and Computation
Autoři:
Článek v odborném periodiku