Skip to content

A Resolution Method for a Monotonic Multimodal Logic.

Christophe Mathieu

Year1993
ProceedingsECSQARU

Browse the full ECSQARU paper archive.