@inproceedings{FSE-2000-Jackson,
	acmid         = "355045.355063",
	author        = "Daniel Jackson",
	booktitle     = "{Proceedings of the Eighth Symposium on Foundations of Software Engineering}",
	pages         = "130--139",
	publisher     = "{ACM}",
	title         = "{Automating first-order relational logic}",
	year          = 2000,
}