Journal of Logic Programming, Volume 21

Volume 21, Number 1, August 1994

• R. K. Shyamasundar, Bal Wang: A Methodology for Provin Termination of Logic Programs. 1-30 BibTeX
• Louiqa Raschid: A Semantics for a Class of Stratified Production System Programs. 31-57 BibTeX

Volume 21, Number 2, October 1994

• Laura Giordano, Alberto Martelli: Structuring Logic Programs: A Modal Approach. 59-94 BibTeX
• Françoise Gire: Equivalence of Well-Founded and Stable Semantics. 95-111 BibTeX

Volume 21, Number 3, Novemver 1994

• Melvin Fitting: Metric Methods Three Examples and a Theorem. 113-127 BibTeX
• V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: The Stable Models of a Predicate Logic Program. 129-153 BibTeX
• Kumar V. Vadaparty: On the Power of Rule-Based Query Languages for Nested Data Models. 155-175 BibTeX , preliminary version: PODS 1991: 26-36