"Inference Queues for Communicating and Monitoring Declarative Information ..."

Bruce Spencer, Sandy Liu (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics