Satoru Miyano The Lexicographically First Maximum Subgraph Problems: P-Completeness and NC Algorithms. 47-73 1989 22 Mathematical Systems Theory 1 db/journals/mst/mst22.html#Miyano89