Author:
Sofronie-Stokkermans Viorica
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Baader, F.: On the complexity of Boolean unification. Information Processing Letters 67(4), 215–220 (1998)
2. Baader, F., Narendran, P.: Unification of concept terms in description logics. In: Prade, H. (ed.) Proceedings of ECAI 1998, pp. 331–335. Wiley, Chichester (1998)
3. Baader, F., Schulz, K.U.: Unification in the union of disjoint equational theories: Combining decision procedures. J. Symbolic Computation 21, 211–243 (1996)
4. Baader, F., Schulz, K.U.: Combination of constraint solvers for free and quasifree structures. Theoretical Computer Science 192, 107–161 (1998)
5. Baader, F., Snyder, W.: Unification theory. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning. Elsevier, Amsterdam (2000) (to appear)