Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich
Bag languages, concurrency, Horn logic programs, and linear logic
SEKE, 1994.
@inproceedings{SEKE-1994-CookeDGK,
author = "Daniel E. Cooke and Richard Duran and Ann Q. Gates and Vladik Kreinovich",
booktitle = "{Proceedings of the Sixth International Conference on Software Engineering and Knowledge Engineering}",
pages = "289--297",
publisher = "{Knowledge Systems Institute}",
title = "{Bag languages, concurrency, Horn logic programs, and linear logic}",
year = 1994,
}