Cláudia Nalon Clare Dixon Michael Fisher Resolution for Synchrony and No Learning. 231-248 2004 conf/aiml/2004 Advances in Modal Logic http://www.aiml.net/volumes/volume5/Nalon.ps db/conf/aiml/aiml2004.html#NalonDF04