International Journal of Mathematics and Mathematical Sciences
Volume 9 (1986), Issue 2, Pages 245-251
doi:10.1155/S0161171286000297
Abstract
This paper deals with a generalization of the Binary Quasi-Order Theorem. This generalization involves a more complicated algorithm than (0.2)t. Some remarks are made on relative merits of two dual algorithms called the ψ-algorithm and the ϕ-algorithm. Some illustrative examples are given.