Michael Hanus's pages on amalgamating functional and logic programming.
Add your website to our directory for free.