@Techreport{nikitina2011uiiget, address = "Karlsruhe", author = "Nadeschda Nikitina", institution = "Institut AIFB, KIT", title = "Uniform Interpolation in General EL Terminologies", year = "2011", }