Reformulation of Explanation by Linear Logic: Toward Logic for Explanation.

Jun Arima Hajime Sawamura Reformulation of Explanation by Linear Logic: Toward Logic for Explanation. 45-57 1993 conf/alt/1993 ALT db/conf/alt/alt1993.html#ArimaS93