Computational Complexity of Simultaneous Elementary Matching Problems
Journal of Automated Reasoning
On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Anti-patterns for rule-based languages
Journal of Symbolic Computation
Hi-index | 0.00 |