On the Semantics of GAEA. - Hiroshi Ishikawa 001; Takuo Watanabe; Kokichi Futatsugi; José Meseguer 001; Hideyuki Nakashima (Fuji International Symposium on Functional and Logic Programming, 1998)