Reasoning and natural explanation (1983)

by Joseph Goguen, James Weiner, Charlotte Linde
Venue:International Journal of Man-Machine Studies