Locally Determined Logic Programs

Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt. Locally Determined Logic Programs. In Michael Gelfond, Nicola Leone, Gerald Pfeifer, editors, Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR 99, El Paso, Texas, USA, December 2-4, 1999, Proceedings. Volume 1730 of Lecture Notes in Computer Science, pages 34-48, Springer, 1999. [doi]

@inproceedings{CenzerRV99,
  title = {Locally Determined Logic Programs},
  author = {Douglas A. Cenzer and Jeffrey B. Remmel and Amy Vanderbilt},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1730/17300034.htm},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/CenzerRV99},
  cites = {0},
  citedby = {0},
  pages = {34-48},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR 99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
  editor = {Michael Gelfond and Nicola Leone and Gerald Pfeifer},
  volume = {1730},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66749-0},
}