Meteor: Exploring Model Elimination Theorem Proving - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Owen L. Astrachan. Meteor: Exploring Model Elimination Theorem Proving. Journal of Automated Reasoning, 13(3):283-296, 1994.

@article{Astrachan94:0,
  title = {Meteor: Exploring Model Elimination Theorem Proving},
  author = {Owen L. Astrachan},
  year = {1994},
  researchr = {https://researchr.org/publication/Astrachan94%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {13},
  number = {3},
  pages = {283-296},
}

runs on WebDSL