A methodology for detecting shared variable dependencies in logic programs
Journal of Symbolic Computation
An Object-Oriented Query Evaluation Scheme for Logical Databases in Massively Parallel Environment
IEEE Transactions on Knowledge and Data Engineering
Hi-index | 0.00 |