Eljas Soisalon-Soininen, Derick Wood. An Optimal Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems. In Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California. pages 108-116, ACM, 1982. [doi]
Abstract is missing.