1995/09/01 by Phan Minh Dung, Phan Minh Dũng · 103 citationsComputer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Logic, programming, and type systems
paper · doi:10.1016/0004-3702(94)00041-x