id: 70132179 dt: a an: 70132179 au: Barker-Plummer, Dave; Swoboda, Nik ti: A sequent based logic for coincidence grids so: VLL, 1-12 (2007). py: 2007 pu: la: EN cc: ut: ci: li: http://ceur-ws.org/Vol-274/paper1.pdf