Combining Lazy Narrowing with Disequality Constraints (1994)

View PDF

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:18 - 4 self