TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten H.
T1  - A voiding non-ground variables
Y1  - 1999
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/21787
ER  -