1. Alpuente, M., Ballis, D., Correa, F., Falaschi, M.: An integrated framework for the diagnosis and correction of rule-based programs. Theoretical Computer Science 411(47), 4055–4101 (2010)
2. Armstrong, J., Williams, M., Wikstrom, C., Virding, R.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)
3. Arts, T., Benac Earle, C., Sánchez Penas, J.J.: Translating Erlang to muCRL. In: Proceedings of the International Conference on Application of Concurrency to System Design, ACSD 2004, pp. 135–144. IEEE Computer Society Press (June 2004)
4. Benac Earle, C., Fredlund, L.A.: Recent improvements to the McErlang model checker. In: Proceedings of the 8th ACM SIGPLAN Workshop on ERLANG, ERLANG 2009, pp. 93–100. ACM, New York (2009)
5. Caballero, R.: A declarative debugger of incorrect answers for constraint functional-logic programs. In: Antoy, S., Hanus, M. (eds.) Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming, WCFLP 2005, Tallinn, Estonia, pp. 8–13. ACM Press (2005)