Performance of an OR-parallel logic programming system. - Peter A. Tinker (Int. J. Parallel Program., 1988)

An Architecture for the Rollback Machine. - Jonathan R. Agre; Peter A. Tinker (ICPP (1), 1991)