Login / Signup

Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints.

Ortrun Ibens
Published in: TABLEAUX (2000)
Keyphrases