A decision procedure for subset constraints over regular languages.

Pieter Hooimeijer, Westley Weimer

Browse the full PLDI paper archive.