Languages for defining sets in arbitrary algebras | IEEE Conference Publication | IEEE Xplore