A completeness result for SLDNF resoultion - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stefano Baratella, Gilberto Filé. A completeness result for SLDNF resoultion. Bulletin of the EATCS, 35:97-105, 1988.

@article{BaratellaF88,
  title = {A completeness result for SLDNF resoultion},
  author = {Stefano Baratella and Gilberto Filé},
  year = {1988},
  tags = {completeness},
  researchr = {https://researchr.org/publication/BaratellaF88},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {35},
  pages = {97-105},
}

runs on WebDSL