A Uniform Approach to Underspecification and Parallelism
(pdf)
Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
Proceedings of the 35th Annual Meeting of the Association of Computational Linguistics (ACL)
On Equality Up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting
(pdf)
Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
Proceedings of the International Conference on Automated Deduction