CiteSeer.IST Home   Check: The following citations are predicted to all refer to the same paper.   Details

Enno Ohlebusch. Modularity of termination for disjoint term graph rewrite systems: A simple proof. EATCS Bulletin, 66:171--177, 1998.

E. Ohlebusch. Modularity of termination for disjoint term graph rewrite systems: A simple proof. Bulletin of the European Association for Theoretical Computer Science, 66:171--177, 1998.

CiteSeer.IST - Copyright Penn State and NEC