Μετατροπή εκφράσεων κατηγορηματικής λογικής πρώτης τάξης σε φυσική γλώσσα - Μπαγουλή, Αικατερίνη ([χ.ό.], 2009)