@inproceedings{EPTCS320.14,
    Author = {Zaiser, Fabian and Ong, C.-H. Luke},
    BookTitle = {{\rm Proceedings 8th International Workshop on} Verification and Program Transformation {\rm and 7th Workshop on} Horn Clauses for Verification and Synthesis, {\rm Dublin, Ireland, 25-26th April 2020}},
    Editor = {Fribourg, Laurent and Heizmann, Matthias},
    File = {The Extended Theory of Trees and Algebraic (Co)datatypes - paper - a - s.pdf},
    Pages = {167-196},
    Publisher = {Open Publishing Association},
    Series = {Electronic Proceedings in Theoretical Computer Science},
    Title = {The Extended Theory of Trees and Algebraic (Co)datatypes},
    Volume = {320},
    Year = {2020},
    bdsk-url-1 = {https://doi.org/10.4204/EPTCS.320.14},
    date-added = {2020-08-07 11:30:52 +0200},
    date-modified = {2020-08-07 11:30:52 +0200},
    doi = {10.4204/EPTCS.320.14}
}

@inproceedings{EPTCS320.14, Author = {Zaiser, Fabian and Ong, C.-H. Luke}, BookTitle = {{\rm Proceedings 8th International Workshop on} Verification and Program Transformation {\rm and 7th Workshop on} Horn Clauses for Verification and Synthesis, {\rm Dublin, Ireland, 25-26th April 2020}}, Editor = {Fribourg, Laurent and Heizmann, Matthias}, File = {The Extended Theory of Trees and Algebraic (Co)datatypes - paper - a - s.pdf}, Pages = {167-196}, Publisher = {Open Publishing Association}, Series = {Electronic Proceedings in Theoretical Computer Science}, Title = {The Extended Theory of Trees and Algebraic (Co)datatypes}, Volume = {320}, Year = {2020}, bdsk-url-1 = {https://doi.org/10.4204/EPTCS.320.14}, date-added = {2020-08-07 11:30:52 +0200}, date-modified = {2020-08-07 11:30:52 +0200}, doi = {10.4204/EPTCS.320.14} }