Path-Dependent Reachability Analysis for Multiple Specialization (1989)

by W Winsborough
Venue:Proceedings of the North American Conference on Logic Programming