TY  - RPRT
TI  - The joy of implications, aka pure Horn functions: mainly a survey
AU  - Marcel Wild
PY  - 2016
DO  - 10.1016/j.tcs.2016.03.018
UR  - https://arxiv.org/abs/1411.6432
ID  - 1411.6432
ER  -