Author Details

Biere, Armin, Johannes Kepler University Linz, Austria