@article{10.1093/comjnl/12.1.48,
    Abstract = {{This paper describes a program for solving a class of `word sum' or `cryptarithm' puzzles by a heuristic tree searching method. Formally the problem is to solve a set of simultaneous linear inequalities with the variables taking integer values.}},
    Author = {Burstall, R. M.},
    EPrint = {http://oup.prod.sis.lan/comjnl/article-pdf/12/1/48/885029/12-1-48.pdf},
    File = {12-1-48 (0) (0) - a - a - l.pdf},
    ISSN = {0010-4620},
    Journal = {The Computer Journal},
    Month = {02},
    Number = {1},
    Pages = {48-51},
    Title = {{A Program for Solving Word Sum Puzzles}},
    URL = {https://doi.org/10.1093/comjnl/12.1.48},
    Volume = {12},
    Year = {1969},
    bdsk-url-1 = {https://doi.org/10.1093/comjnl/12.1.48},
    date-added = {2019-06-01 08:17:39 +0200},
    date-modified = {2019-06-01 08:17:39 +0200},
    doi = {10.1093/comjnl/12.1.48}
}

@article{10.1093/comjnl/12.1.48, Abstract = {{This paper describes a program for solving a class of word sum' orcryptarithm' puzzles by a heuristic tree searching method. Formally the problem is to solve a set of simultaneous linear inequalities with the variables taking integer values.}}, Author = {Burstall, R. M.}, EPrint = {http://oup.prod.sis.lan/comjnl/article-pdf/12/1/48/885029/12-1-48.pdf}, File = {12-1-48 (0) (0) - a - a - l.pdf}, ISSN = {0010-4620}, Journal = {The Computer Journal}, Month = {02}, Number = {1}, Pages = {48-51}, Title = {{A Program for Solving Word Sum Puzzles}}, URL = {https://doi.org/10.1093/comjnl/12.1.48}, Volume = {12}, Year = {1969}, bdsk-url-1 = {https://doi.org/10.1093/comjnl/12.1.48}, date-added = {2019-06-01 08:17:39 +0200}, date-modified = {2019-06-01 08:17:39 +0200}, doi = {10.1093/comjnl/12.1.48} }