TY  - RPRT
TI  - Terminological logic.
AU  - S Vaisrub
PY  - 1977
UR  - https://pubmed.ncbi.nlm.nih.gov/576164/
ID  - 576164
ER  -