TY  - RPRT
TI  - Towards "Propagation = Logic + Control"
AU  - Sebastian Brand
AU  - Roland H. C. Yap
PY  - 2006
UR  - https://arxiv.org/abs/cs/0608015
ID  - cs/0608015
ER  -