"Functional and Logic Programming, 5th International Symposium, FLOPS 2001, ..."

Herbert Kuchen, Kazunori Ueda (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics