Almendros-Jiménez, Jesús M.; Iribarne, Luis; López-Fernández, Jesús; Mora-Segura, Ángel PTL: a model transformation language based on logic programming. (English) Zbl 1351.68047 J. Log. Algebr. Methods Program. 85, No. 2, 332-366 (2016). MSC: 68N15 68N17 PDFBibTeX XMLCite \textit{J. M. Almendros-Jiménez} et al., J. Log. Algebr. Methods Program. 85, No. 2, 332--366 (2016; Zbl 1351.68047) Full Text: DOI
Unel, Gulay Incremental reasoning on monadic second-order logics with logic programming. (English) Zbl 1351.68056 J. Log. Algebr. Methods Program. 85, No. 2, 316-331 (2016). MSC: 68N17 03B70 68T27 PDFBibTeX XMLCite \textit{G. Unel}, J. Log. Algebr. Methods Program. 85, No. 2, 316--331 (2016; Zbl 1351.68056) Full Text: DOI
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. (English) Zbl 1351.68170 J. Log. Algebr. Methods Program. 85, No. 2, 287-315 (2016). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{M. H. ter Beek} et al., J. Log. Algebr. Methods Program. 85, No. 2, 287--315 (2016; Zbl 1351.68170) Full Text: DOI
Berghammer, Rudolf; Höfner, Peter; Stucke, Insa Cardinality of relations and relational approximation algorithms. (English) Zbl 1351.68152 J. Log. Algebr. Methods Program. 85, No. 2, 269-286 (2016). MSC: 68Q60 03G15 68N30 68W25 PDFBibTeX XMLCite \textit{R. Berghammer} et al., J. Log. Algebr. Methods Program. 85, No. 2, 269--286 (2016; Zbl 1351.68152) Full Text: DOI