IJCAI-91 : - Mylopoulos, John; Reiter, Ray (Morgan Kaufmann (Distributor), 1991)