Efficient Program Verification Using Binary Trees and Program Slicing. - Masakazu Takahashi; Noriyoshi Mizukoshi; Kazuhiko Tsuda (KES, 2004)