Koskenniemi, K. An Informal Discovery Procedure for Two-Level Rules. JLM 2013, 1, 155–188.