Cita APA (7a ed.)

Puddu, S., & Sabia, J. (1998). An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs.

Cita Chicago Style (17a ed.)

Puddu, S., y J. Sabia. An Effective Algorithm for Quantifier Elimination over Algebraically Closed Fields Using Straight Line Programs. 1998.

Cita MLA (8a ed.)

Puddu, S., y J. Sabia. An Effective Algorithm for Quantifier Elimination over Algebraically Closed Fields Using Straight Line Programs. 1998.