Normalisation control in deep inference via atomic flows (2008)

Cached

Download Links

by Alessio Guglielmi , Tom Gundersen
Citations:23 - 11 self