On Some Computational Aspects of Equilibrium Business Cycle Theory