Proceedings of the fourth international conference on Functional programming languages and computer architecture, Imperial College, London, United Kingdom, 1989

• Erik Ruf, Daniel Weise (1989) Erik Ruf, Daniel Weise "Nondeterminism and unification in LogScheme: integrating logic and functional programming"