Overlapping Rules and Logic Variables in Functional Logic Programs (2006)

by Sergio Antoy , Michael Hanus
Venue:In Twenty Second International Conference on Logic Programming
Citations:34 - 16 self