Logic Program Derivation for a Class of First Order Logic Relations.

George Dayantis Logic Program Derivation for a Class of First Order Logic Relations. 9-14 1987 IJCAI db/conf/ijcai/ijcai87.html#Dayantis87