@misc{indiciae94da0ae44f2c,
  title = {The Henkin Test Revisited},
  author = {Phillips, Jason Joe},
  year = {2024},
  doi = {10.2172/2586193},
  url = {https://www.osti.gov/biblio/2586193},
  note = {Source identifier: 2586193}
}