Author:
Publication: Artificial Intelligence
Games for query inseparability of description logic knowledge bases
Parameterised verification for multi-agent systems