A Theorem-Proving approach to CLP - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gerhard Wetzel, Robert A. Kowalski, Francesca Toni. A Theorem-Proving approach to CLP. In WLP. pages 63-72, 1995.

@inproceedings{WetzelKT95,
  title = {A Theorem-Proving approach to CLP},
  author = {Gerhard Wetzel and Robert A. Kowalski and Francesca Toni},
  year = {1995},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/WetzelKT95},
  cites = {0},
  citedby = {0},
  pages = {63-72},
  booktitle = {WLP},
}

runs on WebDSL