Reductions of Petri Nets and Unfolding of Propositional Logic Programs.

Laurent Fribourg, Hans Olsn

Browse the full LOPSTR paper archive.