Putting into Practice a Formal Method to Verify Properties of Active Rules Based on Rewriting Logic.

Yahia Rabih Elias Tahhan-Bittar Michel Schneider Putting into Practice a Formal Method to Verify Properties of Active Rules Based on Rewriting Logic. 550-555 1997 DEXA Workshop db/conf/dexaw/dexaw97.html#RabihTS97