"Multi-Agent System Design Verification Using Knowledge-based Reasoning."

Anarosa Brandão, Viviane Torres da Silva, Carlos José Pereira de Lucena (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics