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. Journal of Automated Reasoning, 6(1):39-49, 1990.

Abstract

Abstract is missing.