Satoshi Okui

Learn More
Narrowing is an important method for solving uniication problems in equational theories that are presented by connuent term rewriting systems. Because narrowing is a rather complicated operation, several authors studied calculi in which narrowing is replaced by more simple inference rules. This paper is concerned with one such calculus. Contrary to what has(More)
  • 1