@inproceedings{us:pasco97,
   AUTHOR = {Bachmann, O. and Gray, S. and Sch\"{o}nemann, H.},
   TITLE = {{A Proposal for Syntactic Data Integration for Math Protocols}},
   booktitle = "Proc. of the Second International Symposium on
		     Parallel Symbolic Computation PASCO'97",
   address = {Maui, Hawaii},
   month = jul,
   publisher = {{ACM Press}},
   year = {1997},
    editor={Markus Hitz, Erich Kaltofen},
   pages={165 - 175}		  
}