Residuation in non-associative MV-algebras - Ivan Chajda; Helmut Länger (2018)