Bertram Ludäscher Ulrich Hamann Georg Lausen A Logical Framework for Active Rules. 0- 1995 COMAD db/conf/comad/comad95.html#LudascherHL95