Κεφαλάς, Πέτρος,Τζελάλης, Ε., GRS-Prolog: applying different resolution strategies to logic programs, 441-449, 1995, Εκπαιδευτικό Κέντρο Κτηματικής Τραπέζης,