TY  - RPRT
TI  - From Constraints to Resolution Rules, Part I: Conceptual Framework
AU  - Denis Berthier
PY  - 2013
UR  - https://arxiv.org/abs/1304.3208
ID  - 1304.3208
ER  -