Walter Hussak. The serializability problem for a temporal logic of transaction queries. Journal of Applied Non-Classical Logics, 18(1):67-78, 2008. [doi]
@article{Hussak08-0, title = {The serializability problem for a temporal logic of transaction queries}, author = {Walter Hussak}, year = {2008}, url = {http://jancl.e-revues.com/article.jsp?articleId=11790}, tags = {logic}, researchr = {https://researchr.org/publication/Hussak08-0}, cites = {0}, citedby = {0}, journal = {Journal of Applied Non-Classical Logics}, volume = {18}, number = {1}, pages = {67-78}, }