Takao Miura, Isamu Shioya: Paradigm for Scheme Discovery. CODAS 1996: 285-292