Component selection using temporal truth maintenance. - Andrew P. Seddon; Pearl Brereton (Artif. Intell. Eng. Des. Anal. Manuf., 1994)

Component selection using non-monotonic reasoning. - Andrew P. Seddon; Pearl Brereton (Artif. Intell. Eng., 1996)