Van Melle's combining function in MYCIN is a representable uninorm: An alternative proof
scientific article; zbMATH DE number 1339584