Peter A. Tinker

Performance of an OR-parallel logic programming system

Peter A. Tinker, 2005, International Journal of Parallel Programming.

An Architecture for the Rollback Machine

Jonathan R. Agre, Peter A. Tinker, 1991, ICPP.