Decision Procedures for Recursive Data Structures with Integer Constraints.

Ting Zhang, Henny B. Sipma, Zohar Manna

Browse the full CADE paper archive.