Daniel Gall, Thom W. Frühwirth: A Decidable Confluence Test for Cognitive Models in ACT-R. CoRR abs/1705.08392 (2017)