Solution to the predecessors and gardens-of-Eden problems for synchronous systems over directed graphs
scientific article; zbMATH DE number 7136508
scientific article