O. Danvy and L. R. Nielsen, “Syntactic Theories in Practice”, BRICS, vol. 8, no. 31, Jul. 2001.