Reduction relations. (1996)

by Grzegorz Bancerek
Venue:Formalized Mathematics,