A Logical Framework for Active Rules.

Bertram Ludscher, Ulrich Hamann, Georg Lausen

Browse the full COMAD paper archive.