@inproceedings{VLDB-2007-RomanK,
	author        = "Dumitru Roman and Michael Kifer",
	booktitle     = "{Proceedings of the 33rd International Conference on Very Large Data Bases}",
	ee            = "http://www.vldb.org/conf/2007/papers/research/p627-roman.pdf",
	isbn          = "978-1-59593-649-3",
	pages         = "627--638",
	publisher     = "{ACM}",
	title         = "{Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic}",
	year          = 2007,
}