@techreport{4d9f12364c7b4b3d95d4967903f5e1e8,
title = "A Rule-Based Formal Model for Software Configuration",
keywords = "configuration management, linux, logic programming, stable model semantics, configuration management, linux, logic programming, stable model semantics, configuration management, linux, logic programming, stable model semantics",
author = "Tommi Syrj{\"a}nen",
year = "1999",
language = "English",
isbn = "951-22-4881-6",
series = " Helsinki University of Technology. Laboratory for Theoretical Computer Science. A, Research reports",
publisher = "HUT/Laboratory for Theoretical Computer Science",
number = "55",
type = "WorkingPaper",
institution = "HUT/Laboratory for Theoretical Computer Science",
}