Oliver Schlaudt , Mohsen Sakhri (2010) Louis Couturat: traité de logique algorithmique, Dordrecht, Springer.
pp. 225-240
This document is unfortunately not available for download at the moment.