Simon White Derek H. Sleeman A Constraint-Based Approach to the Description and Detection of Fitness-for-Purpose. 155-183 2000 4 Electron. Trans. Artif. Intell. B http://www.ep.liu.se/ej/etai/2000/016/ db/journals/etai/etai4.html#WhiteS00