Termination analysis of active rules modular sets
Alain Couchot
View Paper (PDF)
Return to Session 13: Potpourri
DiSC'02 © 2003 Association for Computing Machinery