O. Danvy and L. R. Nielsen, “Syntactic Theories in Practice”, BRICS, vol. 9, no. 4, Jan. 2002.