TY  - RPRT
TI  - Proof: an elusive ideal.
AU  - H D Hoskins
PY  - 1988
UR  - https://pubmed.ncbi.nlm.nih.gov/3041330/
ID  - 3041330
ER  -