author = {B. Buchberger},
title = {{Future Directions in Symbolic Math Systems: Combining Algebra and Logic}},
language = {english},
year = {1996},
month = {April},
annote = {1996-04-00-A},
note = {Invited talk at Symposium of the Academia Europea, Amsterdam, The Netherlands},
conferencename = {Symposium of the Academia Europea, Amsterdam, The Netherlands}