An Algorithm for Local Variable Elimination in Normal Logic Programs.

Javier Álvez Paqui Lucio An Algorithm for Local Variable Elimination in Normal Logic Programs. 61-79 2005 conf/lopstr/2005 LOPSTR http://dx.doi.org/10.1007/11680093_5 db/conf/lopstr/lopstr2005.html#AlvezL05