An Application of Amalgamated Logic to Multi-Agent Belief (1990)

by J S Kim, R A Kowalski
Venue:Proc. Second Workshop on Meta-Programming in Logic, Dept. of Comp. Sci., Katholieke Univ