On the Recursive Decomposition Ordering with Lexicographical Status and Other Related Orderings.

Pierre Lescanne On the Recursive Decomposition Ordering with Lexicographical Status and Other Related Orderings. 39-49 1990 6 J. Autom. Reasoning 1 db/journals/jar/jar6.html#Lescanne90