Doubly deterministic tabled OL systems. - Karel Culík II; Derek Wood (Int. J. Parallel Program., 1979)