Causal Structure and Integrability in Moving Frames with Reduce