Pushing the boundaries of reasoning about qualified cardinality restrictions - Vlasenko, Jelena; Haarslev, Volker; Jaumard, Brigitte (Frontiers of Combining Systems. FroCoS 2017, 2017)