Cooperation and competition in ALIAS: A logic framework for agents that negotiate
scientific article; zbMATH DE number 1878961