The links below provide a listing of my major research papers. For convenience, I have separated them into major research areas (some of which I am no longer active in).

In the case that an electronic version is available, and there are no copyright ownership issues, I have also provided links to such versions. If you are interested in a paper and there is no link to an electronic version, contact me via e-mail.

In the case that a publisher holds the copyright on the final version, I have included a link to the last version for which I hold the copyright. These are labelled penultimate version.

I have unabashedly included the good, the bad, and the ugly. However, in the case that more polished refereed versions exist, I have not listed preliminary technical reports.

• All research papers
• Database theory and systems
• Unification, type hierarchies, and computational linguistics
• Computer help systems
• Mathematical system theory
   
• Slides from recent talks
• Recent research proposals