Event calculus reasoning through satisfiability. (2004)

by E T Mueller
Venue:Journal of Logic and Computation,