A Performance-Oriented Design for OR-Parallel Logic Programming. - Peter Tinker; Gary Lindstrom (ICLP, 1987)

Task Scheduling for General Rollback Computing. - Peter Tinker (ICPP (2), 1989)