A modal extension of logic programming: Modularity, beliefs and hypothetical reasoning (1998)

by M Baldoni, L Giordano, A Martelli
Venue:Journal of Logic and Computation