Catamorphic Abstractions for Constrained Horn Clause Satisfiability

This page contains supplementary material for the following paper
This paper is an improved, extended version of a paper the authors have presented at LOPSTR 2023.
Supplementary material for the conference version of the paper.

Supplementary material