Robert Nieuwenhuis · 3 obras en el catálogoObrasAutomated DeductionAutomated Deduction CADE-20Rewriting Techniques and Applications