TY  - JOUR
U1  - Zeitschriftenartikel, wissenschaftlich - begutachtet (reviewed)
A1  - Müller, Martin E.
A1  - Möller, Bernhard
T1  - On nothing
JF  - Journal of Logical and Algebraic Methods in Programming
SN  - 2352-2208
SS  - 2352-2208
U6  - https://doi.org/10.1016/j.jlap.2014.02.016
DO  - https://doi.org/10.1016/j.jlap.2014.02.016
N1  - Elsevier open archive
VL  - 83
IS  - 2
SP  - 309
EP  - 317
PB  - Elsevier
ER  -