TY  - RPRT
TI  - Unification on subvarieties of pseudocomplemented distributive lattices
AU  - Leonardo Manuel Cabrer
PY  - 2015
DO  - 10.1215/00294527-3659307
UR  - https://arxiv.org/abs/1501.06142
ID  - 1501.06142
ER  -