## Viktor Kuncak, Ruzica Piskac, Philippe Suter

*Ordered Sets in the Calculus of Data Structures*

CSL, 2010.

@inproceedings{CSL-2010-KuncakPS,
author = "Viktor Kuncak and Ruzica Piskac and Philippe Suter",
booktitle = "{Proceedings of the 19th EACSL Annual Conference / 24th International Workshop on Computer Science Logic}",
doi = "10.1007/978-3-642-15205-4_5",
isbn = "978-3-642-15204-7",
pages = "34--48",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Ordered Sets in the Calculus of Data Structures}",
volume = 6247,
year = 2010,
}

### Tags: