@article{logicprogrammingpetrinets,
  title = {Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs)},
  author = {Giovanni Sileno},
  year = {2017},
  eprint = {1701.07657},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1701.07657v2},
}