Browse wiki

@techreport{KR11:acyguardTR,
    author = {Markus Kr{\"o}tzsch and Sebastian Rudolph},
    title  = {Revisiting Acyclicity and Guardedness Criteria
              for Decidability of Existential Rules},
    year   = {2011},
    number = {3011},
    institution = {Institute AIFB, Karlsruhe Institute of
                   Technology},
    note = {Available online at
            \url{http://www.aifb.kit.edu/web/Techreport3011}}
}