A new formulation of tabled resolution with delay (1999)

by T Swift
Venue:In Recent Advances in Artifiial Intelligence