James Harland David J. Pym Resource-distribution via Boolean constraints. 56-90 2003 4 ACM Trans. Comput. Log. 1 http://doi.acm.org/10.1145/601775.601778 db/journals/tocl/tocl4.html#HarlandP03