Logic Programming Techniques - Σακελλαρίου, Ηλίας; Βασιλειάδης, Νικόλαος; Κεφαλάς, Πέτρος; Σταμάτης, Δημοσθένης; Sakellariou, Ilias; Vasileiadis, Nikolaos; Kefalas, Petros; Stamatis, Dimosthenis (2016)