Thomas Wies, Ruzica Piskac, and Viktor Kuncak. On combining theories with shared set operations. Technical Report LARA-REPORT-2009-002, EPFL, May 2009.

[ bib ] Back