Proof Normalization Modulo (1998)

Cached

Download Links

by Gilles Dowek , Benjamin Werner
Citations:46 - 17 self