Implementational Issues in GCLA: A-Sufficiency and Definiens Operation

Martin Aronsson. Implementational Issues in GCLA: A-Sufficiency and Definiens Operation. In Evelina Lamma, Paola Mello, editors, Extensions of Logic Programming, Third International Workshop, ELP 92, Bologna, Italy, February 26-28, 1992, Proceedings. Volume 660 of Lecture Notes in Computer Science, pages 394-417, Springer, 1992.

@inproceedings{Aronsson92,
  title = {Implementational Issues in GCLA: A-Sufficiency and Definiens Operation},
  author = {Martin Aronsson},
  year = {1992},
  researchr = {https://researchr.org/publication/Aronsson92},
  cites = {0},
  citedby = {0},
  pages = {394-417},
  booktitle = {Extensions of Logic Programming, Third International Workshop, ELP 92, Bologna, Italy, February 26-28, 1992, Proceedings},
  editor = {Evelina Lamma and Paola Mello},
  volume = {660},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56454-3},
}