Termination of Narrowing in Left-Linear Constructor Systems | Publicación