Finite labelling problem in event structures
scientific article; zbMATH DE number 501204