"CoLiTec"@cs .