TY  - RPRT
TI  - Coalgebraic Logic Programming: from Semantics to Implementation
AU  - Ekaterina Komendantskaya
AU  - John Power
AU  - Martin Schmidt
PY  - 2013
UR  - https://arxiv.org/abs/1312.6568
ID  - 1312.6568
ER  -