@techreport{RISC1276,author = {Koji Nakagawa},
title = {{LMCS 2002. Logic, Mathematics and Computer Science: Interactions. Symposium in Honor of Bruno Buchberger's 60th Birthday}},
number = {02-60},
year = {2002},
month = {October},
note = {Hagenberg, Oct. 21-22, 2002},
sponsor = {Wirtschaftskammer \"Osterreich, BM:BWK Bundesministerium f\"ur Bildung, Wissenschaft und Kultur, Stadt Linz, LHF-Linzer Hochschulfonds},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}