Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. - Jürgen Dix; Martin Müller 001 (Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992)

Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). - Martin Müller 001; Jürgen Dix (LPNMR, 1993)

An Axiomatic Approach to Semantics of Disjunctive Programs. - Jürgen Dix; Martin Müller 001 (ICLP, 1994)

Partial Evaluation and Relevance for Approximations of Stable Semantics. - Jürgen Dix; Martin Müller 001 (ISMIS, 1994)

The Stable Semantics and its Variants: A Comparison of Recent Approaches. - Jürgen Dix; Martin Müller 001 (KI, 1994)

Constraints for Free in Concurrent Computation. - Joachim Niehren; Martin Müller 001 (ASIAN, 1995)

Constraints for Free in Concurrent Computing. - Joachim Niehren; Martin Müller 001 (CCP, 1995)

Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm - Martin Müller 001; Joachim Niehren (CoRR, 1995)

Oz: nebenläufige Programmierung mit Constraints. - Martin Müller 001; Gert Smolka (Künstliche Intell., 1996)

Inclusion Constraints over Non-empty Sets of Trees. - Martin Müller 001; Joachim Niehren; Andreas Podelski (TAPSOFT, 1997)

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. - Andreas Podelski; Witold Charatonik; Martin Müller 001 (ESOP, 1999)

Entailment of Atomic Set Constraints is PSPACE-Complete. - Joachim Niehren; Martin Müller 001; Jean-Marc Talbot (LICS, 1999)

Ordering Constraints over Feature Trees. - Martin Müller 001; Joachim Niehren; Andreas Podelski (Constraints An Int. J., 2000)

Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. - Martin Müller 001; Joachim Niehren (Inf. Comput., 2000)

The first-order theory of ordering constraints over feature trees. - Martin Müller 001; Joachim Niehren; Ralf Treinen (Discret. Math. Theor. Comput. Sci., 2001)