TY  - RPRT
TI  - Maximal Models and Refuation Completeness: Semidecision Procedures in Automatic Theorem Proving
AU  - Wos, L.
PY  - 2018
UR  - https://www.osti.gov/biblio/1444892
ID  - 1444892
ER  -