@proceedings{RISC2936,
author = {B. Buchberger and T. Jebelean},
title = {{Second International Theorema Workshop}},
language = {english},
year = {1998},
annote = {1998-06-29-B},
editor = {Second International Theorema Workshop},
length = {0},
conferencename = {Second International Theorema Workshop}
}