Bernd Gersdorf, U Bremen. An integration of functional and logic programming.
Try this search on Wikipedia, OneLook, Google
Copyright 2010 Denis Howe