A parallel search algorithm for directed acyclic graphs
scientific article; zbMATH DE number 3862454
scientific article