Multimodal logic programming (0)

by L A Nguyen
Venue:Theoretical Computer Science