Helmut Horacek Saarland University, Germany Journal Argument & Computation ISSN: 19462166 Read Online