Constantine Stivaros Solvable Classes for Reliable Network Allocation. 207-211 1993 conf/icci/1993 ICCI db/conf/icci/icci1993.html#Stivaros93