On some computational aspects of equilibrium business cycle theory