MonadicNLIN and Quantifier-Free Reductions. - Clemens Lautemann; Bernhard Weinzinger (CSL, 1999)