Database updates in the event calculus (1992)

by R A Kowalski
Venue:Journal of Logic Programming