author = {B. Buchberger},
title = {{Predicate Logic as a Working Language Using THEOREMA}},
language = {english},
year = {2001},
month = {May 21-25},
annote = {2001-05-19-A},
note = {Invited colloquium talk at University of the West, Timisoara, Romania},
institution = {University of the West, Timisoara, Romania}