A purely asynchronous, message-efficient distributed algorithm for achieving arc consistency in networks of relations [Technical Report] CTI TR 95.5.21 - Κυρούσης, Λευτέρης Μ.; Σταματίου, Ι. (Computer Technology Institute, 1995)