RELFUN: A relational/functional integration with valued clauses. - Boley, Harold (Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht, 1986)