TY  - RPRT
TI  - Decidability of the Clark's Completion Semantics for Monadic Programs and Queries
AU  - Levon Haykazyan
PY  - 2014
UR  - https://arxiv.org/abs/1410.6505
ID  - 1410.6505
ER  -