An Extended RISC Methodology and its Application to FCP. - Arie Harsat; Ran Ginosar (ICLP, 1990)

CARMEL-2: A second generation VLSI architecture for Flat Concurrent Prolog. - Arie Harsat; Ran Ginosar (New Gener. Comput., 1990)

CARMEL-4: The Unify-Spawn Machine for FCP. - Arie Harsat; Ran Ginosar (ICLP, 1991)