Heteroduplex mapping of small plasmids derived from R-factor R12: In vivo recombination occurs at IS1 insertion sequences