Dov M. Gabbay, et al "Qualitative and Quantitative Practical Reasoning" First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Lecture Notes in Computer Science 1244 Springer 1997,

• Anrig et al (1997) Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Norbert Lehmann: "Assumption-Based Modeling Using ABEL" pp171-182
• Rondogiannis, Panos; Gergatsoulis, Manolis; Panayi (1997) Rondogiannis, Panos; Gergatsoulis, Manolis; Panayiotopoulos, Themis; "Cactus: A Branching-Time Logic Programming Language" pp511-524