Towards a Connection Procedure with Built in Theories.

Uwe Petermann

Browse the full JELIA paper archive.