TY  - RPRT
TI  - iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report)
AU  - Teodoro Baldazzi
AU  - Luigi Bellomarini
AU  - Emanuel Sallinger
AU  - Paolo Atzeni
PY  - 2021
UR  - https://arxiv.org/abs/2103.08588
ID  - 2103.08588
ER  -