Kyrre M. Begnum, Mark Burgess. Understanding Promise Theory Using Rewriting Logic. In Arosha K. Bandara, Mark Burgess, editors, Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings. Volume 4543 of Lecture Notes in Computer Science, pages 204-207, Springer, 2007. [doi]
Abstract is missing.