Ordered Sets in the Calculus of Data Structures.

Viktor Kuncak, Ruzica Piskac, Philippe Suter

Browse the full CSL paper archive.