A Cut-free Sequent Calculus for Elementary Situated Reasoning (1991)

Cached

Download Links

by Jerry Seligman
Citations:10 - 3 self