"Compact Representation for Answer Sets of n-ary Regular Queries."

Kazuhiro Inaba, Haruo Hosoya (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics