id: 70213200
dt: a
an: 70213200
au: Cardelli, Luca; Larsen, Kim G.; Mardare, Radu
ti: Modular Markovian logic
so: ICALP (2), 380-391 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-22012-8_30