@inproceedings{ICMT-2009-Stevens,
	author        = "Perdita Stevens",
	booktitle     = "{Proceedings of the Second International Conference on Theory and Practice of Model Transformations}",
	doi           = "10.1007/978-3-642-02408-5_12",
	editor        = "Richard F. Paige",
	isbn          = "978-3-642-02407-8",
	pages         = "165--180",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{A Simple Game-Theoretic Approach to Checkonly QVT Relations}",
	volume        = 5563,
	year          = 2009,
}