Automatic verification of epistemic specifications under convergent equational theories. - Boureanu, I; Jones, AV; Lomuscio, A (IFAAMAS, 2012)