1997/06/01 by A. G. Bondarenko, A. Bondarenko, Phan Minh Dũng +5 · 19 citationsComputer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Logic, programming, and type systems
paper · doi:10.1016/s0004-3702(97)00015-5