Fig. 2From: A safe and complete algorithm for metagenomic assemblyThe proof outline of Theorem 4Back to article page