"Expressive Power of Non-Deterministic Operators for Logic-based Languages."

Luca Corciulo et al. (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics