Prolog programming in depth

Parameterizing a Groundness Analysis of Logic Programs

SAS '01 Proceedings of the 8th International Symposium on Static Analysis

Review of "Natural language processing for prolog programmers" by Michael A. Covington. Prentice-Hall 1994.

Computational Linguistics

The economics of natural language interfaces: natural language processing technology as a scarce resource

Decision Support Systems

Graph-based verification of static program constraints

Proceedings of the 2010 ACM Symposium on Applied Computing