A framework for modal logic programming (1996)

by M Baldoni, L Giordano, A Martelli