Laurent Fribourg, Hans Olsén. Reductions of Petri Nets and Unfolding of Propositional Logic Programs. In John P. Gallagher, editor, Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR 96, Stockholm, Sweden, August 28-30, 1996, Proceedings. Volume 1207 of Lecture Notes in Computer Science, pages 187-203, Springer, 1996.
Abstract is missing.