1. Towards a Theory of Declarative Knowledge;Apt,1988
2. Efficient Bottom-Up Computation on Recursively Defined Deductive Databases;Balbin,1989
3. A Query Independent Method for Magic Set Computation on Stratified Databases;Balbin;Proceedings of the 1988 International Conference on Fifth Generation Computer Systems,1988
4. Magic Set Computation for Stratified Databases;Balbin,1987
5. A Differential Approach to Query Optimization in Recursive Deductive Databases;Balbin,1986