"Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based ..."

Feixiong Liu (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics