Equality Reasoning in Sequent-Based Calculi (1996)

Cached

Download Links

by Anatoli Degtyarev , Andrei Voronkov
Venue:Handbook of Automated Reasoning, volume I, chapter 10
Citations:20 - 7 self