Camilla Schwind Embedding deductive capabilities in relational database systems. 327-338 1984 13 International Journal of Parallel Programming 5 http://dx.doi.org/10.1007/BF00991656 db/journals/ijpp/ijpp13.html#Schwind84