Phased State Search. - T. Anthony Marsland; N. Srimani (FJCC, 1986)