TY  - RPRT
TI  - A Computational Model for the Direct Execution of General Specifications with Multi-way Constraints
AU  - Toshio Fukui
PY  - 2013
UR  - https://arxiv.org/abs/1105.0322
ID  - 1105.0322
ER  -