Decision procedures for recursive data structures with integer constraints (2004)

by Ting Zhang , Henny B. Sipma , Zohar Manna
Venue:In International Joint Conference on Automated Reasoning, volume 3097 of LNCS
Citations:17 - 7 self