Combining Lazy Narrowing with Disequality Constraints (1994)

Cached

Download Links

by Puri Arenas-Sánchez , Ana Gil-luezas , Paco López-Fraguas
Venue:In Proc. of the 6th International Symposium on Programming Language Implementation and Logic Programming
Citations:16 - 3 self