## Willem Heijltjes, Dominic J. D. Hughes

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

LICS, 2015.

@inproceedings{LICS-2015-HeijltjesH, author = "Willem Heijltjes and Dominic J. D. Hughes", booktitle = "{Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2015.18", isbn = "978-1-4799-8875-4", pages = "80--91", publisher = "{IEEE}", title = "{Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets}", year = 2015, }