Multi-agent Logic Program and its Application to Protocol Verification

• 多agent逻辑程序及其在协议验证中的应用