TY  - RPRT
TI  - Structural Resolution for Logic Programming
AU  - P. Johann
AU  - E. Komendantskaya
AU  - V. Komendantskiy
PY  - 2015
UR  - https://arxiv.org/abs/1507.06010
ID  - 1507.06010
ER  -