Andrzej Ciepielewski, Seif Haridi
Control of Activities in the Or-Parallel Token Machine
ICLP, 1984.
@inproceedings{SLP-1984-CiepielewskiH84,
author = "Andrzej Ciepielewski and Seif Haridi",
booktitle = "{Proceedings of the First International Symposium on Logic Programming}",
isbn = "0-8186-0522-7",
pages = "49--57",
publisher = "{IEEE-CS}",
title = "{Control of Activities in the Or-Parallel Token Machine}",
year = 1984,
}