Buss, S. R. (2010). Sharpened lower bounds for cut elimination.
Citación estilo ChicagoBuss, Samuel R. Sharpened Lower Bounds for Cut Elimination. 2010.
Cita MLABuss, Samuel R. Sharpened Lower Bounds for Cut Elimination. 2010.
Precaución: Estas citas no son 100% exactas.