TY  - RPRT
TI  - An Arbitrary First Order Theory Can Be Represented by a Program: A Theorem
AU  - Hosheleva, Olga
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/20010000433
ID  - 20010000433
ER  -