A formal framework for the representation of stack-based terrains | Publicación