TY  - RPRT
TI  - NNIL-formulas revisited: universal models and finite model property
AU  - Julia Ilin
AU  - Dick de Jongh
AU  - Fan Yang
PY  - 2020
UR  - https://arxiv.org/abs/1908.01635
ID  - 1908.01635
ER  -