UVLParser: Extending UVL with Language Levels and Conversion Strategies. - Chico Sundermann; Stefan Vill; Thomas Thüm; Kevin Feichtinger; Prankur Agarwal; Rick Rabiser; José A. Galindo; David Benavides 001 (SPLC (B), 2023)

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs. - Chico Sundermann; Stefan Vill; Elias Kuiter; Sebastian Krieter; Thomas Thüm; Matthias Tichy (CoRR, 2025)