Department of Theoretical Computer Science
Institute of Mathematical Sciences
University of Southern Denmark, Denmark