5 papers:
ICLP-1991-HarsatG #named- CARMEL-4: The Unify-Spawn Machine for FCP (AH, RG), pp. 840–854.
- CLP-1990-HarsatG90
- An Extended RISC Methodology and its Application to FCP (AH, RG), pp. 67–82.
- NACLP-1990-AlkalajLS #automaton #development
- FCP Sequential Abstract Machine Characteristics for the Systems Development Workload (LA, TL, EYS), pp. 321–339.
- JICSCP-1988-KlingerS88 #algorithm #compilation #exclamation
- A Decision Tree Compilation Algorithm for FCP(!, : , ?) (SK, EYS), pp. 1315–1336.
- ICLP-1987-Shapiro87 #algorithm #execution #implementation #prolog
- An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation (EYS), pp. 311–337.
