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