Budo: The Art of Killing and aficionados. The film was eventually remastered and released on DVD in 2005 by Synapse Films. Budo: The Art of Killing Budo: The Art of Killing is an award winning 1978 Japanese martial arts documentary created and produced by Hisao Masuda and financed by The Arthur Davis Company. Considered a cult classic, the film is a compilation of various Japanese martial art demonstrations by several famous Japanese instructors such as Gozo Shioda, Taizaburo Nakamura and Teruo Hayashi. Martial arts featured in the film include: karate, aikido, kendo, sumo, and judo among others. The only modern Japanese martial art not featured
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