Abstract
This paper deals with a generalization of the Binary Quasi-Order Theorem. This generalization involves a more complicated algorithm than
This paper deals with a generalization of the Binary Quasi-Order Theorem. This generalization involves a more complicated algorithm than