Salt: A knowledge acquisition language for propose-and-revise systems
scientific article; zbMATH DE number 4116018