An Algorithm for Local Variable Elimination in Normal Logic Programs.

Javier lvez, Paqui Lucio

Browse the full LOPSTR paper archive.