J. Calmet and J. A. Campbell (Editors)
In proceedings of Integrating Symbolic Mathematical Computation and Artifical Intelligence - Second International Conference (AISMC-2), pages 131-143, Springer-Verlag, Aug. 1994
Bibtex
@INPROCEEDINGS{MissuraWeber94a,
author = {Missura, S. A. and Weber, Andreas},
editor = {Calmet, J. and Campbell, J. A.},
pages = {131--143},
title = {Using Commutativity Properties for Controlling Coercions},
booktitle = {Integrating Symbolic Mathematical Computation and Artifical Intelligence - Second International
Conference (AISMC-2)},
series = {Lecture Notes in Computer Science},
volume = {958},
year = {1994},
month = aug,
publisher = {Springer-Verlag}
}