%0 Journal Article
%A Johan van Benthem
%T Inference in Action
%J Publications de l'Institut Mathématique
%D 2007
%P 3 
%V _N_S_82
%N 96
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_2007_N_S_82_96_a1/
%G en
%F PIM_2007_N_S_82_96_a1