Formal methods in DAI: Logic-based representation and reasoning (1999)

by M P Singh, A S Rao, M P Georgeff
Venue:Multiagent Systems. A Modern Approach to Distributed Artificial Intelligence, chapter 8