Dayantis, George

1 publications

IJCAI 1987 Logic Program Derivation for a Class of First Order Logic Relations George Dayantis