@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}
  }