SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jean H. Gallier, Stan Raatz. SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. In SLP. pages 168-179, 1986.

@inproceedings{GallierR86,
  title = {SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification},
  author = {Jean H. Gallier and Stan Raatz},
  year = {1986},
  tags = {rule-based, e-science},
  researchr = {https://researchr.org/publication/GallierR86},
  cites = {0},
  citedby = {0},
  pages = {168-179},
  booktitle = {SLP},
}

runs on WebDSL