@Article{LPV06, Author = "Lyaletski, A. and Paskevich, A. and Verchinine, K.", Year = "2006", Title = "{SAD as a Mathematical Assistant - How should we go from Here to There?}", Editor = "Benzm{\"u}ller, C.", BookTitle = "{Towards Computer Aided Mathematics}", Journal = "Journal of Applied Logic", Volume = "4", Number = "4", Pages = "560-591", Comment = "TPTPRef" }