Intensional First-Order Logic: From AI to New SQL Big Data - Majkic (IEEE, 2003)