Rintanen, J. Schematic Invariants by Reduction to Ground Invariants. AAAI 2017, 31.