Paliath Narendran Unification Modulo ACI + 1 + 0. 49-57 1996 25 Fundam. Inform. 1 db/journals/fuin/fuin25.html#Narendran96