Finding closed-form solutions of difference equations by symbolic methods

Cost analysis of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

On d'Alembert substitution

ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation

Symbolic analysis for parallelizing compilers

ACM Transactions on Programming Languages and Systems (TOPLAS)

Constraint-Based Termination Analysis for Cyclic Active Database Rules

CL '00 Proceedings of the First International Conference on Computational Logic