Prolog Extensions Based on Tableau Calculus

Wolfgang Schönfeld. Prolog Extensions Based on Tableau Calculus. In IJCAI. pages 730-732, 1985.

Abstract

Abstract is missing.