Multiple Reasoning Styles in Logic Programming

Hervé Gallaire. Multiple Reasoning Styles in Logic Programming. In FGCS. pages 1089-1099, 1988.

Abstract

Abstract is missing.