Cita APA

Chen, Y., & Flum, J. (2010). On slicewise monotone parameterized problems and optimal proof systems for TAUT.

Citación estilo Chicago

Chen, Yijia, y Jörg Flum. On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. 2010.

Cita MLA

Chen, Yijia, y Jörg Flum. On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. 2010.

Precaución: Estas citas no son 100% exactas.