Xu, 1998. A logic based language for networked agents 40.. https://doi.org/10.1016/s0950-5849(98)00061-5