ML Anthology
Authors
Search
About
Dayantis, George
1 publications
IJCAI
1987
Logic Program Derivation for a Class of First Order Logic Relations
George Dayantis