🇿 Leif Harald Karlsen Anna Fensel Ana Ozaki Dumitru Roman Ahmet Soylu Lore: Educational Deductive Database System (2023)