Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract). - Satoshi Okui; Aart Middeldorp; Tetsuo Ida (TAPSOFT, 1995)

Lazy Narrowing: Strong Completeness and Eager Variable Elimination. - Aart Middeldorp; Satoshi Okui; Tetsuo Ida (Theor. Comput. Sci., 1996)

Simultaneous Critical Pairs and Church-Rosser Property. - Satoshi Okui (RTA, 1998)

A Deterministic Lazy Narrowing Calculus. - Aart Middeldorp; Satoshi Okui (J. Symb. Comput., 1998)

Pattern Matching of Incompletely RE-Typed Expressions via Transformation. - Satoshi Okui; Taro Suzuki (Inf. Media Technol., 2006)

A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents. - Taro Suzuki; Satoshi Okui (Inf. Media Technol., 2006)

Hedge Pattern Partial Derivative. - Taro Suzuki; Satoshi Okui (CIAA, 2009)

Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions. - Satoshi Okui; Taro Suzuki (CIAA, 2010)