Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

Cached

Download Links

by Boris Konev , Anatoli Degtyarev , Clare Dixon , Michael Fisher , Ullrich Hustadt
Citations:11 - 7 self