Transactional Reduction of Component Compositions.

Serge Haddad, Pascal Poizat

Browse the full FORTE paper archive.