Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach

From MaRDI portal
Publication:5862477