1.5.2. Substitution method Notes | Design and Analysis of Algorithm BCT-NEW | TU | TABFlux