Termination Analysis of Active Rules with Priorities.

Alain Couchot

Browse the full DEXA paper archive.