Prolog Extensions Based on Tableau Calculus

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

No reviews for this publication, yet.