Emanuel Kitzelmann
and Ute Schmid
and Martin M{\"u}hlpfordt
and Fritz WysotzkiAISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
337--354
(2002)
Emanuel Kitzelmann
and Ute Schmid
and Martin M{\"u}hlpfordt
and Fritz WysotzkiIntelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium
144--149 vol.1
(2002)