A goal oriented strategy based on completion

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013842 ◽

2005 ◽

pp. 435-445 ◽

Cited By ~ 1

Author(s):

Rolf Socher-Ambrosius

Download Full-text