Message-Optimal Algorithm for Detection and Resolution of Generalized Deadlocks in Distributed Systems. IJCAI 35 (4).