Reductions of Petri Nets and Unfolding of Propositional Logic Programs.

Laurent Fribourg Hans Olsén Reductions of Petri Nets and Unfolding of Propositional Logic Programs. 187-203 1996 conf/lopstr/1996 LOPSTR db/conf/lopstr/lopstr96.html#FribourgO96