Explicit representation of terms defined by counter examplesJ.-L. LassezK. Marriott1987Journal of Automated Reasoning
Optimal Reconfiguration Strategy for a Degradable Multimodule Computing SystemYann-Hang LeeKang G. Shin1987Journal of the ACM