Generating connection calculi from tableau and sequent based proof systems

Artificial Intelligence and Its Applications · 1987 · 14 citations · 0 references