@inproceedings{hooi09,
 author = {Hooimeijer, Pieter and Weimer, Westley},
 title = {A decision procedure for subset constraints over regular languages},
 booktitle = {PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation},
 year = {2009},
 isbn = {978-1-60558-392-1},
 pages = {188--198},
 location = {Dublin, Ireland},
 publisher = {ACM},
 address = {New York, NY, USA},
}