TY  - RPRT
TI  - Towards a Logic-Based Unifying Framework for Computing
AU  - Robert Kowalski
AU  - Fariba Sadri
PY  - 2014
UR  - https://arxiv.org/abs/1301.6905
ID  - 1301.6905
ER  -