@Inproceedings{EPTCS278.5, author = {Komendantskaya, Dr, Ekaterina and Li, Yue }, year = {2018}, title = {Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper}, editor = {Kahsai, Temesghen and Vidal, German}, booktitle = {{\rm Proceedings 5th Workshop on} Horn Clauses for Verification and Synthesis, {\rm Oxford, UK, 13th July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {278}, publisher = {Open Publishing Association}, pages = {27-33}, doi = {10.4204/EPTCS.278.5}, }