Theory exploration of sets represented as monotone lists.

Isabela Dramnesc, Tudor Jebelean

Browse the full SISY paper archive.