Title: Elimination Methods (Texts and Monographs in Symbolic Computation)
Subjects: Elimination, Logic, symbolic and mathematical