Local Definitions with Static Scope Rules in Logic Programming

Laura Giordano, Alberto Martelli, Gianfranco Rossi. Local Definitions with Static Scope Rules in Logic Programming. In FGCS. pages 389-396, 1988.

@inproceedings{GiordanoMR88,
  title = {Local Definitions with Static Scope Rules in Logic Programming},
  author = {Laura Giordano and Alberto Martelli and Gianfranco Rossi},
  year = {1988},
  tags = {rule-based, rules, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/GiordanoMR88},
  cites = {0},
  citedby = {0},
  pages = {389-396},
  booktitle = {FGCS},
}