Citation

BibTex format

@inproceedings{Jha:2020,
author = {Jha, R and Belardinelli, F and Toni, F},
pages = {940--947},
publisher = {ACM},
title = {Formal verification of debates in argumentation theory.},
url = {https://doi.org/10.1145/3341105},
year = {2020}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AU - Jha,R
AU - Belardinelli,F
AU - Toni,F
EP - 947
PB - ACM
PY - 2020///
SP - 940
TI - Formal verification of debates in argumentation theory.
UR - https://doi.org/10.1145/3341105
ER -