Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine

Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi. Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. In Hans Jürgen Schneider, Hartmut Ehrig, editors, Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings. Volume 776 of Lecture Notes in Computer Science, pages 119-137, Springer, 1993.

@inproceedings{CorradiniELMR93a,
  title = {Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine},
  author = {Andrea Corradini and Hartmut Ehrig and Michael Löwe and Ugo Montanari and Francesca Rossi},
  year = {1993},
  tags = {laziness, graph-rewriting, rewriting, abstract machine},
  researchr = {https://researchr.org/publication/CorradiniELMR93a},
  cites = {0},
  citedby = {0},
  pages = {119-137},
  booktitle = {Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings},
  editor = {Hans Jürgen Schneider and Hartmut Ehrig},
  volume = {776},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57787-4},
}