Jimmy Ho-Man Lee. Numerical computation as deduction in constraint logic programming. PhD thesis, University of Victoria, Canada, 1992. [doi]
@phdthesis{ca-932, title = {Numerical computation as deduction in constraint logic programming}, author = {Jimmy Ho-Man Lee}, year = {1992}, url = {https://dspace.library.uvic.ca//handle/1828/9581}, researchr = {https://researchr.org/publication/ca-932}, cites = {0}, citedby = {0}, school = {University of Victoria, Canada}, }