ML Anthology

Sawamura, Hajime

1 publications

ALT 1993 Reformulation of Explanation by Linear Logic: Toward Logic for Explanation Jun Arima, Hajime Sawamura