APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

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.

MLA (9th ed.) Citation

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.