L. Araujo, “SOME ESSENTIAL SIDE-EFFECTS OF PROLOG ON A DISTRIBUTED IMPLEMENTATION”, Comput. Inform., vol. 19, no. 2, pp. 147–167, Mar. 2012.