Gianni Amati Iadh Ounis Conceptual Graphs and First Order Logic. 1-12 2000 43 Comput. J. 1 db/journals/cj/cj43.html#AmatiO00