A Proof Procedure for the Logic of Hereditary Harrop Formulas - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gopalan Nadathur. A Proof Procedure for the Logic of Hereditary Harrop Formulas. Journal of Automated Reasoning, 11(1):115-145, 1993.

@article{Nadathur93,
  title = {A Proof Procedure for the Logic of Hereditary Harrop Formulas},
  author = {Gopalan Nadathur},
  year = {1993},
  tags = {logic},
  researchr = {https://researchr.org/publication/Nadathur93},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {11},
  number = {1},
  pages = {115-145},
}

runs on WebDSL