A Survey of the Implementations of Narrowing

P. H. Cheong, Laurent Fribourg. A Survey of the Implementations of Narrowing. In John Darlington, Roland Dietrich, editors, Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. Workshops in Computing, pages 177-187, Springer, 1991.

@inproceedings{CheongF91,
  title = {A Survey of the Implementations of Narrowing},
  author = {P. H. Cheong and Laurent Fribourg},
  year = {1991},
  tags = {survey},
  researchr = {https://researchr.org/publication/CheongF91},
  cites = {0},
  citedby = {0},
  pages = {177-187},
  booktitle = {Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991},
  editor = {John Darlington and Roland Dietrich},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19735-4},
}