Compilative Constructive Negation in Constraint Logic Programs (1994)

Cached

Download Links

by Paola Bruscoli , Francesca Levi , Giorgio Levi , Maria Chiara Meo
Venue:Proc. Trees in Algebra and Programming - CAAP'94, 19th International Colloquium
Citations:15 - 3 self