An NP-complete fragment of fibring logic
scientific article; zbMATH DE number 6536930
scientific article