Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets.

Willem Heijltjes, Dominic J. D. Hughes

Browse the full LICS paper archive.