@article{P096.103, author={De Bosschere, K. and Jacquet, J.-M.}, title={Extending the uLog Framework with Local and Conditional Blackboard Operations}, journal={Journal of Symbolic Computation}, year={1996}, month={4}, volume={21}, number={4}, pages={669-697}, editor={Hong, H.}, publisher={Academic Press}, }