Satisfiability Modulo Free Data Structures Combined with Bridging Functions.

Raphal Berthon, Christophe Ringeissen

Browse the full CADE paper archive.