The Extended Theory of Trees and Algebraic (Co)datatypes
Fabian Zaiser and C.−H. Luke Ong
Book Title
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis‚ VPT/HCVS@ETAPS 2020‚ Dublin‚ Ireland‚ 25−26th April 2020
Editor
Laurent Fribourg and Matthias Heizmann
Pages
167–196
Series
EPTCS
Volume
320
Year
2020