Hoops and their implicational reducts (abstract) W. Bloki, I. Ferreirim (1993) Banach Center Publications