SAD as a mathematical assistant - how should we go from here to there?

Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine. SAD as a mathematical assistant - how should we go from here to there?. J. Applied Logic, 4(4):560-591, 2006. [doi]