CookS.A., 1971, “The complexity of theorem proving procedures”, in Proceedings of the 3rd ACM Symposium on the Theory of Computing, Association for Computing Machinery, 1 Astor Plaza, 1515 Broadway, New York 10036, USA, pp 151–158
2.
KoopmansT.C., BeckmannM.J., 1957, “Assignment problems in the location of economic activities”Econometrica2553–76
3.
LeeD.B., 1973, “Requiem for large-scale models”Journal of the American Institute of Planners31163–178