@article{10.1109/SPLINE.2007.36,
author = {Joseph Kiniry, and Mikolas Janota, },
title = {Reasoning about Feature Models in Higher-Order Logic},
journal = {Software Product Line Conference, International},
volume = {00},
number = {},
issn = {},
year = {2007},
pages = {13-22},
doi = {doi.ieeecomputersociety.org/10.1109/SPLINE.2007.36},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}