Minima: a symbolic approach to qualitative algebraic reasoning (1988)

by Brian C Williams
Venue:In National Conference on Artificial Intelligence