KoMeT.

Wolfgang Bibel, Stefan Brning, Uwe Egly, Thomas Rath

Browse the full CADE paper archive.