Symbolic Computation: Computer Algebra and Logic (1996)

by Bruno Buchberger
Venue:Frontiers of Combining Systems, Applied Logic Series