N Martins-Ferreira, A. Montoli and M. Sobral (2017). On some categorical-algebraic conditions in S-protomodular categories, Logical Methods in Computer Science, vol. 13(): (SJR index 0,493: 65/415 (Q1) in Computer Science)