The following publications are possibly variants of this publication:
- Satisfiability Algorithm for Syntactic Read-$k$-times Branching ProgramsAtsuki Nagao, Kazuhisa Seto, Junichi Teruyama. isaac 2017: [doi]
- Satisfiability Algorithm for Syntactic Read-k-times Branching ProgramsAtsuki Nagao, Kazuhisa Seto, Junichi Teruyama. mst, 64(8):1392-1407, 2020. [doi]
- A Satisfiability Algorithm for Deterministic Width-2 Branching ProgramsTomu Makita, Atsuki Nagao, Tatsuki Okada, Kazuhisa Seto, Junichi Teruyama. ieiceta, 105-A(9):1298-1308, September 2022. [doi]