González-Vega, L. (1993). A combinatorial algorithm solving some quantifier elimination problems. Universidad de Cantabria, Departamento de Matemáticas, Estadística y Computación.
Cita Chicago Style (17a ed.)González-Vega, Laureano. A Combinatorial Algorithm Solving Some Quantifier Elimination Problems. Santander: Universidad de Cantabria, Departamento de Matemáticas, Estadística y Computación, 1993.
Cita MLA (9a ed.)González-Vega, Laureano. A Combinatorial Algorithm Solving Some Quantifier Elimination Problems. Universidad de Cantabria, Departamento de Matemáticas, Estadística y Computación, 1993.
Precaución: Estas citas no son 100% exactas.