Skip to content

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

George Dayantis

VenueA*IJCAI
Year1987
ProceedingsIJCAI

Browse the full IJCAI paper archive.