TY  - RPRT
TI  - Twist your logic with TouIST
AU  - Khaled Skander Ben Slimane
AU  - Alexis Comte
AU  - Olivier Gasquet
AU  - Abdelwahab Heba
AU  - Olivier Lezaud
AU  - Frederic Maris
AU  - Mael Valais
PY  - 2015
UR  - https://arxiv.org/abs/1507.03663
ID  - 1507.03663
ER  -