James Harland, David J. Pym. Resource-distribution via Boolean constraints. ACM Trans. Comput. Log., 4(1):56-90, 2003. [doi]
@article{HarlandP03, title = {Resource-distribution via Boolean constraints}, author = {James Harland and David J. Pym}, year = {2003}, doi = {10.1145/601775.601778}, url = {http://doi.acm.org/10.1145/601775.601778}, tags = {constraints}, researchr = {https://researchr.org/publication/HarlandP03}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {4}, number = {1}, pages = {56-90}, }