@article{f4da94adce7f4b3793932e649e9ebc42,
title = "CAL: A Theoretical Background of Constraint Logic Programming and Its Application",
author = "Ko Sakai and Akira Aiba",
year = "1989",
month = jan,
day = "1",
language = "English",
journal = "Journal of Symbolic Computation",
issn = "0747-7171",
publisher = "Academic Press Inc.",
}