TY  - RPRT
TI  - Delta -- new logic programming language and Delta-methodology for p-computable programs on Turing Complete Languages
AU  - Andrey Nechesov
PY  - 2019
UR  - https://arxiv.org/abs/1907.07767
ID  - 1907.07767
ER  -