Knowledge base amalgamation using the higher-order logic-based language HiLog - Lovrenčić, Alen (Array, 1999)