Pipeline optimizations in and-parallelism by abstract interpretation

Efficient dataflow analysis of logic programs

Journal of the ACM (JACM)

A general framework for semantics-based bottom-up abstract interpretation of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

Sequence-based abstract interpretation of Prolog

Theory and Practice of Logic Programming