Negation Elimination in Empty or Permutative Theories - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Maribel Fernández. Negation Elimination in Empty or Permutative Theories. Journal of Symbolic Computation, 26(1):97-133, 1998.

@article{Fernandez98,
  title = {Negation Elimination in Empty or Permutative Theories},
  author = {Maribel Fernández},
  year = {1998},
  researchr = {https://researchr.org/publication/Fernandez98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {26},
  number = {1},
  pages = {97-133},
}

runs on WebDSL