Deciding finiteness, groundness and domain independence of pure datalog queries - Convent, Bernhard (1988)
Keywords: Horn-Formel