Distributed and Parallel Demand Driven Logic Simulation Algorithms. Issue 2 (1994)