@inproceedings{moinard:inria-00463802, TITLE = {{About the computation of forgetting symbols and literals}}, AUTHOR = {Moinard, Yves}, URL = {https://inria.hal.science/inria-00463802}, BOOKTITLE = {{NMR 2006 ( 11th Workshop on Non-monotonic Reasoning)}}, ADDRESS = {Lake District, United Kingdom}, PUBLISHER = {{Institut f{\"u}r Informatik, Technische Universit{\"a}t Clausthal, Germany (http://cig.in.tu-clausthal.de/)}}, PAGES = {209--217}, YEAR = {2006}, HAL_ID = {inria-00463802}, HAL_VERSION = {v1}, }