The Integration of Functions into Logic Programming: From Theory to Practice (1994)

by Michael Hanus
Venue:Journal of Logic Programming
Citations:333 - 51 self