@article{DBLP:journals/tochi/BadrosBS01,
author = {Greg J. Badros and
Alan Borning and
Peter J. Stuckey},
title = {The Cassowary linear arithmetic constraint solving algorithm},
journal = {ACM Trans. Comput.-Hum. Interact.},
volume = {8},
number = {4},
year = {2001},
pages = {267-306},
ee = {http://doi.acm.org/10.1145/504704.504705},
bibsource = {DBLP, http://dblp.uni-trier.de}
}