Section: Symbolic Representation Schemes