Algorithmic Contributions to the Theory of Regular Chains