Generating connection calculi from tableau- and sequent-based proof systems (1986)

by L Wallen
Venue:Artificial Intelligence and its Applications, 35--50