Thompson transformations for if-logic

Francien Dechesne

pp. 285-309


This document is unfortunately not available for download at the moment.

Not implemented yet !