Jean-Luc Gaudiot Hiecheol Kim Robert E. Stumberger Data-Driven Execution of Logic Languages. 101-113 1993 conf/iclp/1993w2 ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems db/conf/iclp/iclp93-w2.html#GaudiotKS93