Berberich, E., Hemmer, M., Karavelas, M., Pion, S., Teillaud, M., & Tsigaridas, E.(2008). Prototype Implementation of the Algebraic Kernel (ACS-TR-121202-01). Groningen: University of Groningen.