Atsushi Atarashi, Akihiko Konagaya, Shinichi Habata, Minoru Yokota. Implementation and Evaluation of Dynamic Predicates on the Sequential Inference Machine CHI. In 1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA. pages 236-244, IEEE Computer Society, 1990.