Michal Botur, Anatolij Dvurecenskij: On pseudo-BL-algebras and pseudo-hoops with normal maximal filters. Soft Comput. 20(2): 439-448 (2016)