LPForget: A System of Forgetting in Answer Set Programming. - Fu-Leung Cheng; Thomas Eiter; Nathan Robinson; Abdul Sattar 001; Kewen Wang 001 (Australian Conference on Artificial Intelligence, 2006)