A Theory of Observables for Logic Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Marco Comini, Giorgio Levi, Maria Chiara Meo. A Theory of Observables for Logic Programs. Inf. Comput., 169(1):23-80, 2001.

@article{CominiLM01,
  title = {A Theory of Observables for Logic Programs},
  author = {Marco Comini and Giorgio Levi and Maria Chiara Meo},
  year = {2001},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/CominiLM01},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {169},
  number = {1},
  pages = {23-80},
}

runs on WebDSL