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