"On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision ..."

Stephan Waack (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics