@Inproceedings{EPTCS258.4, author = {Li, Yue}, year = {2017}, title = {Structural Resolution with Co-inductive Loop Detection}, editor = {Komendantskaya, Ekaterina and Power, John}, booktitle = {{\rm Proceedings of the First Workshop on} Coalgebra, Horn Clause Logic Programming and Types, {\rm Edinburgh, UK, 28-29 November 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {258}, publisher = {Open Publishing Association}, pages = {52-67}, doi = {10.4204/EPTCS.258.4}, }