Specification matching for software reuse: a foundation
SSR '95 Proceedings of the 1995 Symposium on Software reusability
IEEE Transactions on Knowledge and Data Engineering
A Framework for Order-Sorted Algebra
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
An Efficient Parser for a Class of Contextual Languages
Fundamenta Informaticae
| Hi-index | 5.23 |