@article{DBLP:journals/jfp/NordinT01,
 author = {Thomas Nordin and
Andrew P. Tolmach},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/journals/jfp/NordinT01.bib},
 doi = {10.1017/S0956796801004051},
 journal = {J. Funct. Program.},
 number = {5},
 pages = {557--587},
 timestamp = {Sat, 27 May 2017 01:00:00 +0200},
 title = {Modular lazy search for Constraint Satisfaction Problems},
 url = {https://doi.org/10.1017/S0956796801004051},
 volume = {11},
 year = {2001}
}