The Problem of Definition Expansion and Contraction (1987)

by Larry Wos
Venue:Journal of Automated Reasoning