@article{iwardedasystemforbenchmarkingdatalog,
  title = {iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report)},
  author = {Teodoro Baldazzi and Luigi Bellomarini and Emanuel Sallinger and Paolo Atzeni},
  year = {2021},
  eprint = {2103.08588},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2103.08588v1},
}