Conservative Reduction Classes of Krom Formulas - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stål Aanderaa, Egon Börger, Harry R. Lewis. Conservative Reduction Classes of Krom Formulas. Journal of Symbolic Logic, 47(1):110-130, 1982.

@article{AanderaaBL82,
  title = {Conservative Reduction Classes of Krom Formulas},
  author = {Stål Aanderaa and Egon Börger and Harry R. Lewis},
  year = {1982},
  researchr = {https://researchr.org/publication/AanderaaBL82},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {47},
  number = {1},
  pages = {110-130},
}

runs on WebDSL