K. Koskenniemi, “An informal discovery procedure for two-level rules”, JLM, vol. 1, no. 1, pp. 155–188, Jul. 2013.