Connection-based Theorem Proving in Classical and Non-classical Logics

Christoph Kreitz, Jens Otten. Connection-based Theorem Proving in Classical and Non-classical Logics. J. UCS, 5(3):88-112, 1999. [doi]

Authors

Christoph Kreitz

This author has not been identified. Look up 'Christoph Kreitz' in Google

Jens Otten

This author has not been identified. Look up 'Jens Otten' in Google