Author Details

Biere, Armin, Johannes Kepler University, Austria