1. Craig William , Near-equational and equational systems of logic for partial functions, this Journal (to appear).
2. Andréka H. , Corrections of a calculus of equations for partial algebras (to appear).
3. Generalization of the concept of variety and quasivariety to partial algebras through category theory;Andréka;Dissertationes Mathematicae/Rozprawy Matematyczne,1983
4. Robinson Anthony , Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules, this Journal (to appear).