SALT: A knowledge acquisition language for propose-and-revise systems (1989)

by S Marcus, J McDermott
Venue:Artificial Intelligence