@inproceedings{DBLP:conf/lpnmr/GebserS05, title = {Loops: Relevant or Redundant?}, author = {Gebser, Martin and Schaub, Torsten}, booktitle = {{LPNMR}}, pages = {53--65}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3662}, year = {2005} }