Propagators and Solvers for the Algebra of Modular Systems | Read Paper on Bytez