Rus T. (Ed.): Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000. Proceedings LNCS 1816

• Rocco De Nicola and Michele Loreti (2000) Rocco De Nicola and Michele Loreti "A Modal Logic for KLAIM" pp339ff