S. Prestwich, “SOME PITFALLS OF PARALLEL LOGIC PROGRAMMING”, Comput. Inform., vol. 19, no. 4, pp. 299–315, Mar. 2012.