Parallelization of a Hyper-Linking-Based Theorem Prover - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Chih-Hung Wu, Shie-Jue Lee. Parallelization of a Hyper-Linking-Based Theorem Prover. Journal of Automated Reasoning, 26(1):67-106, 2001.

@article{WuL01:4,
  title = {Parallelization of a Hyper-Linking-Based Theorem Prover},
  author = {Chih-Hung Wu and Shie-Jue Lee},
  year = {2001},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/WuL01%3A4},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {26},
  number = {1},
  pages = {67-106},
}

runs on WebDSL