Automatic Inductive Theorem Proving Using Prolog - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jieh Hsiang, Mandayam K. Srivas. Automatic Inductive Theorem Proving Using Prolog. Theoretical Computer Science, 54:3-28, 1987.

@article{HsiangS87,
  title = {Automatic Inductive Theorem Proving Using Prolog},
  author = {Jieh Hsiang and Mandayam K. Srivas},
  year = {1987},
  tags = {Prolog},
  researchr = {https://researchr.org/publication/HsiangS87},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {54},
  pages = {3-28},
}

runs on WebDSL