Rok:2013
Typ:Článek v odborném periodiku
Periodikum:Logic Journal of the IGPL
Článek v odborném periodiku