The Language FCP(: , ?). - Shmuel Kliger; Eyal Yardeni; Kenneth M. Kahn; Ehud Shapiro (FGCS, 1988)

The languages FCP(: ) and FCP(: , ?). - Eyal Yardeni; Shmuel Kliger; Ehud Shapiro (New Gener. Comput., 1990)

Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. - Michael Codish; Dennis Dams; Eyal Yardeni (ICLP, 1991)

Polymorphically Typed Logic Programs. - Eyal Yardeni; Thom W. Frühwirth; Ehud Shapiro (ICLP, 1991)

Logic Programs as Types for Logic Programs - Thom W. Frühwirth; Ehud Shapiro; Moshe Y. Vardi; Eyal Yardeni (LICS, 1991)

A Type System for Logic Programs. - Eyal Yardeni; Ehud Shapiro (J. Log. Program., 1991)

Polymorphically Typed Logic Programs. - Eyal Yardeni; Thom W. Frühwirth; Ehud Shapiro (Types in Logic Programming, 1992)

Bottom-up Abstract Interpretation of Logic Programs. - Michael Codish; Dennis Dams; Eyal Yardeni (Theor. Comput. Sci., 1994)