Towards first-order temporal resolution (2001)

by A DEGTYAREV, M FISHER
Venue:In KI 2001, Proceedings