Existential positive types and preservation under homomorphisms | IEEE Conference Publication | IEEE Xplore