A computational framework based on the dynamic pipeline approach. - Edelmira Pasarella; Maria-Esther Vidal; Cristina Zoltan; Juan Pablo Royo Sales (J. Log. Algebraic Methods Program., 2024)