SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems - Marcus, S; McDermott, J (Artif Intell, 1989)