• Lola-2: A Logic Description Language http://www.inf.ethz.ch/personal/wirth/Lola/index.html 4 comments 19/7/2015