Solving Constrained Horn Clauses over Algebraic Data Types.

Lucas Zavala, Lidiia Chernigovskaia, Grigory Fedyukovich

Browse the full VMCAI paper archive.