TY  - JOUR
AU  - Johan van Benthem
TI  - Inference in Action
JO  - Publications de l'Institut Mathématique
PY  - 2007
SP  - 3 
VL  - _N_S_82
IS  - 96
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_2007_N_S_82_96_a1/
LA  - en
ID  - PIM_2007_N_S_82_96_a1
ER  -