Design and implementation of the Cafe prover and the Church-Rosser checker tools (1998)

by M Clavel, F Dur'an, S Eker, J Meseguer