"Ajax Tadehara"@cs . "A. Tadehara"@cs .