Finding Telescopers with Minimal Depth for Indefinite - RISC-Linz