TY  - JOUR
A1  - Berghammer, Rudolf
A1  - Möller, Bernhard
A1  - Winter, Michael
T1  - Preface
T2  - Journal of Logical and Algebraic Methods in Programming
Y1  - 2014
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58745
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-587458
SN  - 2352-2208
VL  - 83
IS  - 2
SP  - 85
EP  - 86
PB  - Elsevier BV
ER  -