Resolution techniques and Complexity Results with Deadlocks: A Classifying and Annotated Bibliography. - Dieter Zöbel; Christoph Koch 002 (ACM SIGOPS Oper. Syst. Rev., 1988)