@dblp

Loops: Relevant or Redundant?

, and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 53-65. Springer, (2005)

Links and resources

Tags