TY  - RPRT
TI  - Residuated Lattices.
AU  - M Ward
AU  - R P Dilworth
PY  - 1938
DO  - 10.1073/pnas.24.3.162
UR  - https://pubmed.ncbi.nlm.nih.gov/16588213/
ID  - 16588213
ER  -