Ioannis P. Vlahavas Ilias Sakellariou Ivan Futó Zoltán Pásztor János Szeredi CSPCONS: A Communicating Sequential Prolog with Constraints. 72-84 2002 conf/setn/2002 SETN http://dx.doi.org/10.1007/3-540-46014-4_8 db/conf/setn/setn2002.html#VlahavasSFPS02