Safety, Translation and Evaluation of Alignment Calculus.

Gsta Grahne, Matti Nyknen

Browse the full ADBIS paper archive.