On Equivalents of Well-Foundedness - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Piotr Rudnicki, Andrzej Trybulec. On Equivalents of Well-Foundedness. Journal of Automated Reasoning, 23(3-4):197-234, 1999.

@article{RudnickiT99,
  title = {On Equivalents of Well-Foundedness},
  author = {Piotr Rudnicki and Andrzej Trybulec},
  year = {1999},
  researchr = {https://researchr.org/publication/RudnickiT99},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {23},
  number = {3-4},
  pages = {197-234},
}

runs on WebDSL