TY  - RPRT
TI  - Every Formula-Based Logic Program Has a Least Infinite-Valued Model
AU  - Rainer Lüdecke
PY  - 2011
UR  - https://arxiv.org/abs/1108.6274
ID  - 1108.6274
ER  -