Inference of reversible context-free grammars - Sakakibara, Yasubumi (1988)