An algorithm for checking strong Nash implementability
scientific article; zbMATH DE number 940783
scientific article