@misc{indiciae81cd9c0df520,
  title = {Maximal Models and Refuation Completeness: Semidecision Procedures in Automatic Theorem Proving},
  author = {Wos, L.},
  year = {2018},
  url = {https://www.osti.gov/biblio/1444892},
  note = {Source identifier: 1444892}
}