Return to Article Details Translating Metainferences Into Formulae Download Download PDF