Aart Middeldorp Taisuke Sato Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings FLOPS Lecture Notes in Computer Science 1722 Springer 1999 3-540-66677-X db/conf/flops/flops99.html