Prototype implementation of the algebraic kernel (2006)

by E Berberich, M Hemmer, M Karavelas, S Pion, M Teillaud, E Tsigaridas