@techreport{
    SN98:faanmr,
    author = {Soininen, Timo and Niemel{\"a}, Ilkka},
    title = "Formalizing Configuration Knowledge Using Rules with Choices",
    address = "",
    number = "TKO-B142",
    month = "",
    note = "Presented at the Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning, May 31, 1998, Trento, Italy",
    year = "1998",
    type = "Technical Report",
    institution = "Helsinki University of Technology, Laboratory of Information Processing Science"
}