Verification of Programs with ADTs Using Shallow Horn Clauses.

Tho Losekoot, Thomas Genet, Thomas P. Jensen

Browse the full SAS paper archive.