Klein M., Maimon O. Foundations of Soft Logic 2024