CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Annegret Habel and Detlef Plump. Complete strategies for term graph narrowing. In Recent Developments in Algebraic Development Techniques, Selected Papers, Lecture Notes in Computer Science. SpringerVerlag. To appear.
Annegret Habel and Detlef Plump. Complete strategies for term graph narrowing. In Recent Developments in Algebraic Development Techniques, Selected Papers, volume 1589 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
Annegret Habel and Detlef Plump. Complete strategies for term graph narrowing. Submitted for publication, 1998.
A. Habel and D. Plump. Complete strategies for term graph narrowing. In Recent Trends in Algebraic Development Techniques. LNCS 1589, 1999.
Annegret Habel and Detlef Plump. Complete strategies for term graph narrowing. In Recent Developments in Algebraic Development Techniques, Selected Papers, volume 1589 of LNCS. Springer-Verlag, 1999.
Annegret Habel and Detlef Plump. Complete strategies for term graph narrowing. In Recent Developments in Algebraic Development Techniques, Selected Papers, volume 1589 of Lecture Notes in Computer Science. Springer, 1999.
Habel, A. and D. Plump, Complete strategies for term graph narrowing, in: Recent Trends in Algebraic Development Techniques, Selected Papers, Lecture Notes in Computer Science 1589 (1999), pp. 152-167.