@article{1093894728,
author = {Lee, R. D.},
title = {An application of mathematical logic to the integer linear programming problem.},
journal = {Notre Dame J. Formal Logic},
volume = {13},
number = {3},
year = {1972},
pages = { 279-282},
language = {en},
url = {http://dml.mathdoc.fr/item/1093894728}
}
Lee, R. D. An application of mathematical logic to the integer linear programming problem.. Notre Dame J. Formal Logic, Tome 13 (1972) no. 3, pp. 279-282. http://gdmltest.u-ga.fr/item/1093894728/