13The REDUCE implementation has been supported by the Konrad-Zuse-Zentrum Berlin