TY  - RPRT
TI  - Lattices and Their Consistent Quantification
AU  - Kevin H. Knuth
PY  - 2018
DO  - 10.1002/andp.201700370
UR  - https://arxiv.org/abs/1711.07358
ID  - 1711.07358
ER  -