J. Rintanen, “Schematic Invariants by Reduction to Ground Invariants”, AAAI, vol. 31, no. 1, Feb. 2017.