Michael Codish, Moreno Falaschi, Kim Marriott. Suspension Analyses for Concurrent Logic Programs. ACM Transactions on Programming Languages and Systems, 16(3):649-686, 1994. [doi]
@article{CodishFM94,
title = {Suspension Analyses for Concurrent Logic Programs},
author = {Michael Codish and Moreno Falaschi and Kim Marriott},
year = {1994},
doi = {10.1145/177492.177656},
url = {http://doi.acm.org/10.1145/177492.177656},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/CodishFM94},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {16},
number = {3},
pages = {649-686},
}