Resolution techniques and complexity results with deadlocks: a classifying and annotated bibliography (1988)

by D Zöbel, C Koch
Venue:SIGOPS Oper. Syst. Rev