Title: HERMES: Theory of Generealized Annotated Logic Programmimg and its Applications

Authors: Michael Kifer, V.S. Subrahmanian.

This paper is published in "Journal of Logic Programming". The postscript version of this paper is also available.

Web Accessibility