TY - RPRT TI - The lexicographic closure as a revision process AU - Richard Booth PY - 2000 UR - https://arxiv.org/abs/cs/0003017 ID - cs/0003017 ER -