Concurrent Logic Programming as a Hardware Description Tool. - Yoheved Dotan; Benjamin Arazi (IEEE Trans. Computers, 1990)

Modeling flexible manufacturing systems: the concurrent logic programming approach. - Yoheved Dotan; David Ben-Arieh (IEEE Trans. Robotics Autom., 1991)

Using Flat Concurrent Prolog in System Modeling. - Yoheved Dotan; Benjamin Arazi (IEEE Trans. Software Eng., 1991)