Inaccessibility in Multi-Agent Systems. - Michal Pechoucek; Michal Dobísek; Jirí Lazanský; Vladimír Marík (IAT, 2003)