Constrained Horn Clauses Satisfiability via Catamorphic Abstractions

This page contains supplementary material for the following paper

Supplementary material