TY - RPRT TI - An Approach to the Implementation of Overlapping Rules in Standard ML AU - Riccardo Pucella PY - 2000 UR - https://arxiv.org/abs/cs/0010009 ID - cs/0010009 ER -