1. Althaus, E., Duchier, D., Koller, A., Mehlhorn, K., Niehren, J., Thiel, S.: An efficient graph algorithm for dominance constraints. Journal of Algorithms 48, 194–219 (2003)
2. Bos, J.: Predicate logic unplugged. In: Proc. 10th Amsterdam Colloquium, pp. 133–143 (1996)
3. Bodirsky, M., Duchier, D., Niehren, J., Miele, S.: An efficient algorithm for weakly normal dominance constraints. In: ACM-SIAM Symposium on Discrete Algorithms. The ACM Press, New York (2004)
4. Copestake, A., Flickinger, D.: An open-source grammar development environment and broad-coverage English grammar using HPSG. In: Conference on Language Resources and Evaluations (2000)
5. Copestake, A., Lascarides, A., Flickinger, D.: An Algebra for Semantic Construction in Constraint-Based Grammars. In: ACL 2001, Toulouse, France (2001)