@InProceedings{HH15,
  author    =  {Heijltjes, W. and Hughes, D. J. D.},
  title     =  {Complexity Bounds for Sum-Product Logic via Proof Nets and Petri Nets},
  booktitle =  {Proc.\ IEEE Logic in Computer Science},  
  year      =  {2015}
}