Detecting Unsolvable Queries for Definite Logic Programs

Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog

LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning

Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification

PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation

Enhancing a search algorithm to perform intelligent backtracking

Theory and Practice of Logic Programming

Classes of terminating logic programs

Theory and Practice of Logic Programming

On the verification of finite failure

Journal of Computer and System Sciences

Solving planning problems by partial deduction

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning