Added dominance frontier algorithm... untested.