"A Precise Relationship Between the Deductive Power of Forward and Backward ..."

Marc Neuberger, Prateek Mishra (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics