Saturating Sorting without Sorts.

Pamina Georgiou, Mrton Hajd, Laura Kovcs

Browse the full LPAR paper archive.