Jürgen Giesl · 2 obras en el catálogoObrasAAutomated ReasoningAutomated ReasoningTerm Rewriting and Applications