Equations, Sets, and Reduction Semantics for Functional and Logic Programming. - Bharat Jayaraman; Frank S. K. Silbermann (LISP and Functional Programming, 1986)

Set Abstraction in Functional and Logic Programming. - Frank S. K. Silbermann; Bharat Jayaraman (FPCA, 1989)

A Domain-Theoretic Approach to Functional and Logic Programming. - Frank S. K. Silbermann; Bharat Jayaraman (J. Funct. Program., 1992)

Prolog Interpretation of A Functional-Logic Language. - Silvia Takahashi; Frank S. K. Silbermann (ILPS, 1993)

A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages. - John Maraist; Frank S. K. Silbermann (PLILP, 1994)