@article{mazure:hal-03300443, TITLE = {{An efficient technique to ensure the logical consistency of cooperative agents}}, AUTHOR = {Mazure, Bertrand and Sa{\"i}s, Lakhdar and Gr{\'e}goire, {\'E}ric}, URL = {https://univ-artois.hal.science/hal-03300443}, JOURNAL = {{International Journal of Cooperative Information Systems}}, VOLUME = {6}, NUMBER = {1}, PAGES = {27-36}, YEAR = {1997}, HAL_ID = {hal-03300443}, HAL_VERSION = {v1}, }