Deduction with symbolic constraints. Revue Francaise d'Intelligence Artificielle, 4(3):9--52 (1990)

by C Kirchner, H Kirchner, M Rusinowitch