Deduction with symbolic constraints. Revue Francaise d'Intelligence Arti (1990)

by Claude Kirchner, Helene Kirchner, Michael Rusinowitch