Computing Abstract Distances in Logic Programs.

Ignacio Casso, Jos F. Morales, Pedro Lpez-Garca, Roberto Giacobazzi, Manuel V. Hermenegildo

Browse the full LOPSTR paper archive.