Suspension Analyses for Concurrent Logic Programs (1994)

by M Codish, M Falaschi, K Marriott
Venue:ACM Transactions on Programming Languages and Systems