=ADD= =author= Noro; Masayuki + Shimoyama; Takeshi =title= Asir User's Manual (in Japanese) =year= 1995 =publisher= none =owner= 2 =reftype= 1 =source= 3 =ADD= =author= de Boer; Frank S. + Gabbrielli; Maurizio =title= Constraint Programming for Time Critical Applications. Informal Proceedings of the COTIC Workshop, Schloss Hagenberg, Austria, Oct 1997 =year= 1997 =publisher= University of Pisa =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Hubbers; E. =title= Differential and Difference Equations and Computer Algebra =year= 1997 =publisher= University of Nijmegen, The Netherlands =owner= 2 =reftype= 1 =source= 3