Combination of constraint solvers for free and quasi-free structures (1998)

by F Baader, K Schulz
Venue:Theoretical Computer Science