Budo: The Art of Killing his native Japan until he came across Arthur Davis, an American film exhibitor who ran a distribution company in Tokyo. Davis stated he funded the film out of the respect and gratitude he felt towards Japan. "The Art of Killing" won first prize at the 1978 Miami International Film Festival, but did not find an American distribution deal until 1981, when it was acquired by Crown International Pictures and received a limited release in 1982 under the title "Budo". The film eventually got a VHS release through Prism Entertainment which helped build its cult status among Japanese martial arts practitioners
Orthogonality (term rewriting) hand side of each reduction rule shares no function symbol in common, so there is no overlap. Orthogonal term rewriting systems are confluent. Orthogonality (term rewriting) Orthogonality as a property of term rewriting systems describes where the reduction rules of the system are all left-linear, that is each variable occurs only once on the left hand side of each reduction rule, and there is no overlap between them. Orthogonal term rewriting systems have the consequent property that all reducible expressions (redexes) within a term are completely disjoint -- that is, the redexes share no common function symbol. For example, the