@article{DBLP:journals/toplas/Fidge93,
author = {Colin J. Fidge},
title = {A Formal Definition of Priority in CSP},
journal = {ACM Trans. Program. Lang. Syst.},
volume = {15},
number = {4},
year = {1993},
pages = {681-705},
ee = {http://doi.acm.org/10.1145/155183.155221},
bibsource = {DBLP, http://dblp.uni-trier.de}
}