An Integrated Functional Logic Language, Version 0.8.2 (2006)

by M Hanus