John Alan Robinson Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) 2 conf/lics/LICS1 1986 LICS db/conf/lics/lics86.html#Robinson86