Temporal reasoning with abductive logic programming (1996)

by R Li, L M Pereira
Venue:In European Conference on Arti…cial Intelligence