"Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in ..."

Zohar Manna, Richard J. Waldinger (1976)
a service of Schloss Dagstuhl - Leibniz Center for Informatics