Abstraction-carrying code (0)

by E ALBERT, G PUEBLA, M V HERMENEGILDO
Venue:In Logic for Programming Artificial Intelligence and Reasoning