Using Tactics to Reformulate Formulae for Resolution Theorem Proving (1996)

Cached

Download Links

by Manfred Kerber , Axel Präcklein
Citations:5 - 4 self