George Dayantis

发表

Types, Modularisation and Abstraction in Logic Programming

George Dayantis, George Dayantis, 1988, ALP.

Logic Program Derivation for a Class of First Order Logic Relations

George Dayantis, George Dayantis, 1987, IJCAI.