MOLOG: a Modal PROLOG.

Pierre Bieber, Luis Farias del Cerro, Andreas Herzig

Browse the full CADE paper archive.