@inbook {c89ef375b0d845b7badf5868b63eb29b,
	title = {Transaction Logic with External Actions},
	booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011},
	year = {2011},
	note = {<p>n/a</p>
},
	month = {1},
	pages = {272{\textendash}277},
	publisher = {Springer},
	organization = {Springer},
	abstract = {<p>n/a</p>
},
	isbn = {978-3-642-20894-2},
	doi = {10.1007/978-3-642-20895-9_31},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jja/files/lpnmr11b.pdf},
	author = {Gomes, Ana Sofia and Alferes, Jos{\'e} J{\'u}lio}
}
