Ordering based on implications.
scientific article; zbMATH DE number 6602903
scientific article