Transaction Logic with External Actions
- Citation:
- Gomes, Ana Sofia, and José Júlio Alferes. "Transaction Logic with External Actions." Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer, 2011. 272-277.
Abstract:
n/a
Notes:
n/a