Samira Sadaoui, Malek Mouhoub, Bo Chen. An Efficient LOTOS-Based Framework for Describing and Solving (Temporal) CSPs. International Journal of Software Engineering and Knowledge Engineering, 19(6):765-789, 2009. [doi]
@article{SadaouiMC09,
title = {An Efficient LOTOS-Based Framework for Describing and Solving (Temporal) CSPs},
author = {Samira Sadaoui and Malek Mouhoub and Bo Chen},
year = {2009},
doi = {10.1142/S0218194009004416},
url = {http://dx.doi.org/10.1142/S0218194009004416},
tags = {rule-based},
researchr = {https://researchr.org/publication/SadaouiMC09},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {19},
number = {6},
pages = {765-789},
}