Skip to content

Satisfiability and Completeness of Converse-PDL Replayed.

M. Lange

Year2003
ProceedingsKI

Browse the full KI paper archive.