Deciding finiteness, groundness and domain independence of pure datalog queries - Convent, Bernhard (Hildesheimer Informatikberichte, 1988)