DMCA

Efficient Loop-Check for Backward Proof Search in Some Non-Classical Propositional Logics (1996)

Cached

Download Links

by Alain Heuerding , Michael Seyfried , Heinrich Zimmermann
Citations:39 - 1 self