TY  - RPRT
TI  - Implications of positive formulas in modules (RIMS)
AU  - Philipp Rothmaler
PY  - 2019
UR  - https://arxiv.org/abs/1904.06016
ID  - 1904.06016
ER  -