TY  - RPRT
TI  - A Productivity Checker for Logic Programming
AU  - E. Komendantskaya
AU  - P. Johann
AU  - M. Schmidt
PY  - 2016
UR  - https://arxiv.org/abs/1608.04415
ID  - 1608.04415
ER  -