Selected Publications

Articles In Academic Journals

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