Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Norbert Lehmann: "Assumption-Based Modeling Using ABEL" pp171-182

(1997)

Dov M. Gabbay, et al (1997) 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,  

Languages mentioned

  • ABEL {1997} Language for behavior-like desriptions of a logic circuit