Bordini, Rafael H., Moreira, Alvaro F., "Proving BDI properties of agent-oriented programming languages : the asymmetry thesis principles in AgentSpeak(L)", Annals of Mathematics and Artificial Intelligence, 2004