TY  - RPRT
TI  - Ticket Entailment is decidable
AU  - Vincent Padovani
PY  - 2012
UR  - https://arxiv.org/abs/1106.1875
ID  - 1106.1875
ER  -