Mechanisms for Concurrency Control and Recovery in Prolog - A Proposal - Carey, Michael J; DeWitt, David J; Graefe, Goetz (University of Wisconsin-Madison Department of Computer Sciences, 1984)