How to Decide the Lark. - M. Sprenger; M. Wymann-Böni (Theor. Comput. Sci., 1993)