DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE | Publicación