TitleProving the equivalence of Action-GDL and DPOP
Publication TypeMiscellaneous
Year of Publication2008
AuthorsVinyals M, Rodríguez-Aguilar JA, Cerquides J