Rahkooy, Hamid Automation of Logic, MPI for Informatics, Max Planck Society;
Akbarbaglu, I., Aghababa, H. P., & Rahkooy, H. (2022). On the Algebraic Structures in A(Phi) (G). Mediterranian Journal of Mathematics, 19(3): 131. doi:10.1007/s00009-022-02052-z.