@article{2011, title={Declarative Semantics of the Hybrid Constraint Language HydLa}, author={Kazunori UEDA and Hiroshi HOSOBE and Daisuke ISHII}, journal={Computer Software}, volume={28}, number={1}, pages={1_306-1_311}, year={2011}, doi={10.11309/jssst.28.1_306} }