Short Definitions in Constraint Languages.

Jakub Buln, Michael Kompatscher

Browse the full MFCS paper archive.