Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš Nested antichains for WS1S. (English) Zbl 1417.68182 Acta Inf. 56, No. 3, 205-228 (2019). MSC: 68T15 03B25 03B35 03D05 PDFBibTeX XMLCite \textit{T. Fiedor} et al., Acta Inf. 56, No. 3, 205--228 (2019; Zbl 1417.68182) Full Text: DOI arXiv
Safilian, Aliakbar; Maibaum, Tom; Diskin, Zinovy A theoretical framework for cardinality-based feature models: the semantics and computational aspects. (English) Zbl 1395.68095 J. Log. Algebr. Methods Program. 97, 30-54 (2018). MSC: 68N30 68Q25 68Q45 PDFBibTeX XMLCite \textit{A. Safilian} et al., J. Log. Algebr. Methods Program. 97, 30--54 (2018; Zbl 1395.68095) Full Text: DOI