@InProceedings{ids98,
  author = 	 {Alessandro Armando and
                  Piergiorgio Bertoli and
                  Alessandro Coglio and
                  Fausto Giunchiglia and
                  Jos{\'e} Meseguer and
                  Silvio Ranise and
                  Carolyn Talcott},
  title = 	 {{Open Mechanized Reasoning Systems}: A Preliminary Report},
  booktitle = 	 {Proc.\ {CADE--15} Workshop on
                  Integration of Deduction Systems},
  year = 	 {1998},
  month = 	 {July}
}