Variable forgetting in reasoning about knowledge. (2009)

by K Su, A Sattar, G Lv, Y Zhang
Venue:JAIR