Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A transformational approach to negation in logic programming
Journal of Logic Programming
The essential inadequacy of deductions in logic programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
From Logic to Logic Programming
From Logic to Logic Programming
On quantitative measurement of negation in logic programming
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
An algorithm for local variable elimination in normal logic programs
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Hi-index | 0.00 |