Proc. of JSSST 3rd Fuji International Symposium on Functional and Logic Programming. 1998

(1998)