Theory contraction and base contraction unified

Sven Ove Hansson

pp. 219-245


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

Not implemented yet !