TY - JOUR AU - Marat Akhin AU - Sam Kolton AU - Vladimir Itsykson TI - Random model sampling: making Craig interpolation work when it should not JO - Modelirovanie i analiz informacionnyh sistem PY - 2014 SP - 7 EP - 17 VL - 21 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a1/ LA - ru ID - MAIS_2014_21_6_a1 ER -