Alain Colmerauer Jean François Pique About Natural Logic. 343-365 1979 conf/adbt/79 Advances in Data Base Theory db/conf/adbt/adbt79.html#ColmerauerP79