@misc{indiciae3440fd7c50fc,
  title = {Reverse Engineering Code Dependencies: Converting Integer-Based Variability to Propositional Logic},
  author = {Adam Krafczyk and Sascha El-Sharkawy and Klaus Schmid},
  year = {2021},
  doi = {10.1145/3236405.3237202},
  url = {https://arxiv.org/abs/2110.05875},
  note = {Source identifier: 2110.05875}
}