Automated verification of state sequence invariants in general game playing
scientific article; zbMATH DE number 6106684
scientific article