A method for removing unused arguments from logic programs. - Emmanuil I. Marakakis; Chara Kounali; Kostas Vassilakis (Artificial Intelligence and Soft Computing, 2006)