ECOLOG: an Environment for constraint logics
2005 ◽
pp. 237-252
◽