@misc{indiciae183261b9d60d,
  title = {Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs)},
  author = {Giovanni Sileno},
  year = {2020},
  url = {https://arxiv.org/abs/1701.07657},
  note = {Source identifier: 1701.07657}
}