@techreport{RISC1641,author = {Dongming Wang},
title = {{Some Advances in Geometric and Algebraic Reasoning (Deliverable DII.4.2P)}},
number = {94-45},
year = {1994},
note = {Published in MEDLAR II Report PPR2, Rome, Italy, July 25-27, 1994, pp. 205--220.},
sponsor = { Austrian National Science Foundation project no. 9316 in the frame of Esprit Basic Research Project 6471, project MEDLAR II.},
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)}
}