The logic of partial information - Nait Abdallah, Areski, 1950- (Monographs in Theoretical Computer Science.An EATCS Series, 1995)