Authors: Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, MENDES TORRES VIEIRA H
Contributors: Massimo, Bartoletti, Ilaria, Castellani, Pierre-Malo, Deniélou, Mariangiola, Dezani-Ciancaglini, Silvia, Ghilezan, Jovanka, Pantovic, Jorge A., Pérez, Peter, Thiemann, Bernardo, Toninho, MENDES TORRES VIEIRA, H
Relation: volume:84; issue:6; firstpage:763; lastpage:780; numberofpages:18; journal:THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING; http://hdl.handle.net/20.500.11771/6783; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84997755144