Articles In Academic Journals

Filter

Year	Title
1995	A simple proof on the decidability of equivalence between recursive and nonrecursive Datalog programs.  Information processing letters. 279-282.