[2008] Marco Kuhlmann and Joachim Niehren, Logics and Automata for Totally Ordered Trees, 19th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science 5117, 217-231
[2005] Joachim Niehren and Mateu Villaret, Describing Lambda Terms in Context Unification, 5th International Conference on Logical Aspects in Computational Linguistics, Lecture Notes in Artificial Intelligence 3492, 221-237
[2001] Manuel Bodirsky and Katrin Erk and Alexander Koller and Joachim Niehren, Underspecified Beta Reduction, 39th Annual Meeting of the Association for Computational Linguistics, 74-81
[2001] Joachim Niehren and Alexander Koller, Dominance Constraints in Context Unification, Proceedings of the 3rd International Conference on Logical Aspects of Computational Linguistics (Dec. 1998, Grenoble, France), Lecture Notes in Computer Science 2014, 199-218
[2001] Alexander Koller and Joachim Niehren and Ralf Treinen, Dominance Constraints: Algorithms and Complexity, Third International Conference on Logical Aspects of Computational Linguistics (Dec. 1998, Grenoble, France), Lecture Notes in Computer Science 2014, 106-125
[2000] Denys Duchier and Joachim Niehren, Dominance Constraints with Set Operators, Proceedings of the First International Conference on Computational Logic (CL2000), Lecture Notes in Computer Science 1861, 326-341
[1998] Markus Egg and Joachim Niehren and Peter Ruhrberg and Feiyu Xu, Constraints over Lambda-Structures in Semantic Underspecification, Joined 17th International Conference on Computational Linguistics and 36th Annual Meeting
of the Association for Computational Linguistics
(COLING/ACL'98), 353--359
[1997] Martin Müller and Joachim Niehren and Andreas Podelski, Ordering Constraints over Feature Trees, 3rd International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science 1330, 297--311