Sven Verdoolaege Marc Denecker Frank Van Eynde http://arxiv.org/abs/cs.CL/0011035 2000 CoRR cs.CL/0011035 db/journals/corr/corr0011.html#cs-CL-0011035 informal publication