The meaning of negative premises in transition system specifications. II
scientific article; zbMATH DE number 2099287
scientific article