Matthew M. Huntbach. Search in concurrent logic languages. In SAC. pages 164-170, 1995. [doi]
@inproceedings{Huntbach95a, title = {Search in concurrent logic languages}, author = {Matthew M. Huntbach}, year = {1995}, doi = {10.1145/315891.315947}, url = {http://doi.acm.org/10.1145/315891.315947}, tags = {logic, search}, researchr = {https://researchr.org/publication/Huntbach95a}, cites = {0}, citedby = {0}, pages = {164-170}, booktitle = {SAC}, }