Loops: Relevant or Redundant?

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/11546207_5 ◽

2005 ◽

pp. 53-65 ◽

Author(s):

Martin Gebser ◽

Torsten Schaub

Download Full-text