Embedding Multiset Constraints into a Lazy Functional Logic Language

Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo. Embedding Multiset Constraints into a Lazy Functional Logic Language. In Catuscia Palamidessi, Hugh Glaser, Karl Meinke, editors, Principles of Declarative Programming, 10th International Symposium, PLILP 98 Held Jointly with the 7th International Conference, ALP 98, Pisa, Italy, September 16-18, 1998, Proceedings. Volume 1490 of Lecture Notes in Computer Science, pages 429-444, Springer, 1998. [doi]

@inproceedings{Arenas-SanchezLR98,
  title = {Embedding Multiset Constraints into a Lazy Functional Logic Language},
  author = {Puri Arenas-Sánchez and Francisco Javier López-Fraguas and Mario Rodrúguez-Arteljo},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1490/14900429.htm},
  tags = {laziness, constraints, logic},
  researchr = {https://researchr.org/publication/Arenas-SanchezLR98},
  cites = {0},
  citedby = {0},
  pages = {429-444},
  booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP 98 Held Jointly with the 7th International Conference, ALP 98, Pisa, Italy, September 16-18, 1998, Proceedings},
  editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke},
  volume = {1490},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65012-1},
}