Structured Theory Development for a Mechanized Logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Matt Kaufmann, J. Strother Moore. Structured Theory Development for a Mechanized Logic. Journal of Automated Reasoning, 26(2):161-203, 2001.

@article{KaufmannJM01,
  title = {Structured Theory Development for a Mechanized Logic},
  author = {Matt Kaufmann and J. Strother Moore},
  year = {2001},
  tags = {logic},
  researchr = {https://researchr.org/publication/KaufmannJM01},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {26},
  number = {2},
  pages = {161-203},
}

runs on WebDSL