Moded flat GHC and its message-oriented implementation technique Kazunori UedaMasao Morita Regular Papers Pages: 3 - 43
Partial deduction of logic programs wrt well-founded semantics Chandrabose AravindanPhan Minh Dung Regular Papers Pages: 45 - 74
Derivation of algorithms by introduction of generation functions Liangwei XuHideya IwasakiMasato Takeichi Regular Papers Pages: 75 - 98
A quantitative solution to Constraint Satisfaction Problem (CSP) Jun GuXiaofei HuangBin Du Regular Papers Pages: 99 - 115