Functional and Logic Programming: Proceedings of the Third Fuji International Symposium

Masahiko Sato , Yoshihito Toyama