Logic program proportions - Antić, Christian (Annals of Mathematics and Artificial Intelligence, 2025)