K. Su, A. Sattar, G. Lv, Y. Zhang. Variable Forgetting in Reasoning about Knowledge. J. Artif. Intell. Res. (JAIR), 35:677-716, 2009. [doi]
@article{SuSLZ09,
title = {Variable Forgetting in Reasoning about Knowledge},
author = {K. Su and A. Sattar and G. Lv and Y. Zhang},
year = {2009},
doi = {10.1613/jair.2750},
url = {http://dx.doi.org/10.1613/jair.2750},
researchr = {https://researchr.org/publication/SuSLZ09},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {35},
pages = {677-716},
}