Proving definite clauses without explicit use of inductions

Logic Programming '88 - Lecture Notes in Computer Science ◽

10.1007/3-540-51564-x_52 ◽

1989 ◽

pp. 11-26 ◽

Cited By ~ 1

Author(s):

Akito Sakurai ◽

Hiroshi Motoda

Download Full-text