@Article{DBLP:journals/fuin/GadducciLV12,
   joint-pub = {true},
   status = {published},
   number = {1-2},
   task = {T2.1},
   year = {2012},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {118},
   main = {no},
   accessible = {true},
   title = {{Counterpart Semantics for a Second-Order-Calculus}},
   author = {Fabio Gadducci and Alberto Lluch-Lafuente and Andrea Vandin},
   ee = {http://dx.doi.org/10.3233/FI-2012-709},
   period = {M24},
   journal = {Fundam. Inform.},
   owner = {kroiss},
   bibsource = {DBLP, http://dblp.uni-trier.de},
   ascens_ref = {true},
   partner = {IMT, UNIPI},
   wp = {WP2},
   pages = {177-205}
}