@article{VLDB-2018-LiDV17,
	author        = "Yuliang Li 0001 and Alin Deutsch and Victor Vianu",
	doi           = "10.14778/3157794.3157798",
	ee            = "http://www.vldb.org/pvldb/vol11/p283-li.pdf",
	journal       = "{Proceedings of the VLDB Endowment}",
	number        = 3,
	pages         = "283--296",
	title         = "{VERIFAS: A Practical Verifier for Artifact Systems}",
	volume        = 11,
	year          = 2017,
}