@inproceedings{Einarsdottir_JA_18, address = {Suzhou, China}, author = {Einarsdottir, Solrun Halla and Johansson, Moa and {\AA}man Pohjola, Johannes}, booktitle = {Artificial Intelligence and Symbolic Computation}, doi = {https://doi.org/10.1007/978-3-319-99957-9\_5}, editor = {{Fleuriot, Jacques D. and Wang, Dongming and Calmet, Jacques}}, pages = {70-86}, paperurl = {https://trustworthy.systems/publications/full_text/Einarsdottir_JA_18.pdf}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Into the Infinite - Theory Exploration for Coinduction}, volume = {11110}, year = {2018} }