TY  - RPRT
TI  - Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
AU  - Ekaterina Komendantskaya
AU  - Patricia Johann
AU  - Martin Schmidt
PY  - 2017
UR  - https://arxiv.org/abs/1511.07865
ID  - 1511.07865
ER  -