(1952) aut aut 12.
pp. 562-575
This document is unfortunately not available for download at the moment.