Sandra Marcus John P. McDermott SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems. 1-37 1989 39 Artif. Intell. 1 db/journals/ai/ai39.html#MarcusM89