?url_ver=Z39.88-2004&rft_id=10.3233%2FFI-2009-183&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Senni&rft.au=Senni%2C+Valerio&rft.aufirst=Valerio&rft.issn=1875-8681&rft.pages=373-393&rft.atitle=A+Folding+Rule+for+Eliminating+Existential+Variables+from+Constraint+Logic+Programs+&rft.issue=3&rft.volume=96&rft.date=2009&rft.title=Fundamenta+Informaticae&rft.genre=article