A metalogic programming approach to multi-agent knowledge and belief (1991)

by J Kim, R A Kowalski
Venue:In Artificial Intelligence and Mathematical Theory of Computation. Papers in Honor of John McCarthy