A Complete, Nonredundant Algorithm for Reversed Skolemization - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Philip T. Cox, Tomasz Pietrzykowski. A Complete, Nonredundant Algorithm for Reversed Skolemization. Theoretical Computer Science, 28:239-261, 1984.

@article{CoxP84,
  title = {A Complete, Nonredundant Algorithm for Reversed Skolemization},
  author = {Philip T. Cox and Tomasz Pietrzykowski},
  year = {1984},
  tags = {completeness},
  researchr = {https://researchr.org/publication/CoxP84},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {28},
  pages = {239-261},
}

runs on WebDSL