Anatol Slissenko Complexity Problems in Analysis of Multi-Agent Systems. 1999 CEEMAS db/conf/ceemas/ceemas1999.html#Slissenko99