Representation of metamorphosis grammar in logic grammar: Proof trees and their lengths. Prešić, Marica D. (1994) Publications de l'Institut Mathématique. Nouvelle Série