Formalisation Based on Understanding.

Maria Manuela Marques, Dag Belsnes, Malachy Murphy

Browse the full FORTE paper archive.