Towards first-order temporal resolution (2001)

by A Degtyarev, M Fisher
Venue:In Proccedings of KI-2001, volume 2174 of LNAI