Author Details

Biere, Armin, Johannes Kepler University, Linz, Austria