Ludovic Langevine, Mireille Ducassé, Pierre Deransart. A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. In Catuscia Palamidessi, editor, Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings. Volume 2916 of Lecture Notes in Computer Science, pages 269-283, Springer, 2003. [doi]
Abstract is missing.