1 paper
Johannes Weiser, Zafer Esen, Philipp Rümmer
Constrained Horn clauses (CHCs) are a fragment of first-order logic widely used as an intermediate language for verification. We study constrained resolution as a calculus for reas…