Homomorphism theorem for equationally partial algebras Horst Reichel (1983) Commentationes Mathematicae Universitatis Carolinae