A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication - BENTAHAR, Jamal; MOULIN, Bernard; MEYER, John-Jules Ch (Lecture notes in computer science, 2006)