Product configuration as decision support: The declarative paradigm in practice. - Albert Haag; Steffen Riemann (Artif. Intell. Eng. Des. Anal. Manuf., 2011)