Integrating Persistence and Deductive Databases. - Richard Cooper 001; David Mackenzie (DAISD, 1993)