Underspecified Beta Reduction (Manuel Bodirsky and Katrin Erk and Alexander Koller and Joachim Niehren)
Beta Reduction Constraints (Manuel Bodirsky and Katrin Erk and Alexander Koller and Joachim Niehren)